Topics
Formal methods and computational models (computability and computational complexity; verification; automata, formal languages and combinatorics; non-classical computational models, including quantum ones; mathematical aspects of computer science)
Algorithms and data structures (design, testing and analysis; non-classical algorithms, including quantum; combinatorial and probabilistic structures; information theory; data compression and integrity; numerical methods and symbolic computational)
Data and knowledge management and analysis (databases; data mining; business process modelling and mining)
Artificial intelligence (foundational aspects; machine learning; automatic reasoning and knowledge representation; exploration of choice spaces; cognitive intelligent agents; computer vision; natural language processing)
Bioinformatics (computer methods and tools for the life sciences; omics informatics; computational biology; modelling and simulation of biological systems)
Complex systems (non-linear interactions; self-organizing behavior; collective properties; dynamical systems theory)
Organisation
- KRDB Research Centre for Knowledge and Data
- Data-driven Artificial Intelligence
- Mathematical Foundations