Research Areas

Technical Sciences
Computer Sciences
Artificial Intelligence, Computer Learning and Pattern Recognition
Natural Language Processing
Automated Problem Solving, Theorem Proving and Logical Reasoning