Nicolaie Popescu-Bodorin, applied computer science testing laboratory, artificial intelligence and computational logic laboratory

artificial intelligence

computational logic

consistent iris recognition

iris verification identification
nicolaie popescu-bodorin
UNIVERSITY OF S-E EUROPE LUMINA
LUMINA MULTIDISCIPLINARY RESEARCH EXCELLENCE CENTER


APPLIED COMPUTER SCIENCE TESTING LAB
(former ARTIFICIAL INTELLIGENCE & COMPUTATIONAL LOGIC LAB, 2005-2013)

2013, APPLIED COMPUTER SCIENCE TESTING LABORATORY, ACSTL
| HOME | PEOPLE & ACTIVITIES | RESEARCH | TEACHING |


Wellcome to the Applied Computer Science Testing Laboratory !


HOME
Applied Computer Science Testing Laboratory (ACSTL) was founded in 2005 by PhD Nicolaie Popescu-Bodorin (Teaching Assistant at that time) who developed here his activities around the central problem of Logical and Intelligent Artificial Understanding of Data (CP - the Central Problem). Between 2005 and 2013 the lab was known as Artifficial Intelligence & Computational Logic Lab (AICL).

Thanks to PhD Lucian Grigore, PhD Ragip Gokcel and Lumina Foundation, starting with June 2013, the laboratory is hosted and supported by Lumina Multidisciplinary Research Excellence Center, University of S-E Europe Lumina (Bucharest, RO).

Hardware computational resources installed in the laboratory count today 104 cores (80 i5 cores, 24 Xeon cores) and 120 GB RAM connected through a GigaBit local network and cooled by a 36`000 BTU air conditioning unit. Software computational resources installed in the laboratory are mainly open-source. In the current configuration, the laboratory can easily support 200 distributed parallel intensive computation threads. If you need such computational power in your project or grant, in principle, we are open for collaboration (for specific arrangements, please contact dr. Popescu-Bodorin at bodorin # ieee.org).

The main fields studied here under the CP are:
  • Computational Logic
  • Computability / Complexity
  • Custom Formal Arithmetics
  • Artificial Intelligence
  • Computational Intelligence
  • Fuzzy Systems
  • Evolutionary Models
  • Formal Languages
  • Parallel & Distributed Computing
  • Computer Arhitectures, Circuit Design & FPGA
  • Programmable Robots
  • Numerical Methods
  • Image Compression
  • Internet programming & Understanding
  • System Theory
  • Formal Logics for Iris Recognition / Formal Logics for Biometry
  • Code Optimization
  • Inconsistent Iris Verifiers
  • Consistent Iris Verification/Identification
  • Evolutionary and Distributed Systems for Consistent Iris Verification/Identification
  • Image Processing Techniques for Iris Recognition
  • Cross-Sensor & Multi Algorithm Iris Recognition


Our world is a World of Data and the mission of Applied Computer Science Testing Laboratory is to change the way in which people (including us) understand this world. The results obtained here during the last years, even with very limited financial support, prove that we have the power to propose and to motivate a change.

 
Page maintained by PhD Nicolaie Popescu-Bodorin,
Contact (e-mail): bodorin # ieee.org
Last update: September 14, 2013