Prof. Thomas Eiter
Contact person for the Research Area Computational Intelligence
Institute of Information Systems
1040 Wien, Favoritenstraße 9-11/E184
The main research area „Computational Intelligence“ is concerned with methods and technologies to construct, to analyze, to model, and to use „intelligent“ computer software broadly defined. With respect to application areas, Computational Intelligence at Vienna University of Technology is focusing at databases, semantic systems / knowledge representation, constraint solving, and formal methods for hardware and software. The methods of artificial intelligence are of particular importance for the acquisition, formal representation and automatic manipulation of information and knowledge. The foundational research in Logic and Algorithms, in particular the university research focus “Computational Logic”, provides a thorough methodological foundation for the application areas. Together, the application areas and the foundational research give rise to a highly coherent research and teaching area of significant international impact and visibility.
The research topics of the main research area “Computational Intelligence” are combining the application areas and the foundational research in a synergetic way.
Main Fields of Research and Development
- Foundations of databases and information systems
- Knowledge representation and semantic systems
- Formal methods and verification for system safety and security
- Constraints and satisfiability
- Computational logic and deduction
- Algorithms, complexity, and cryptography
- Problem solving and optimization
- Natural computing