Research in the Department of Theoretical Computer Science is conducted in the areas listed below. More information about current research topics and results (including representative online publications) can be found on the personal web pages of members of related informal research groups.

Nonclassical logics

(mathematical fuzzy logic, substructural and modal logics, coalgebras, belief theory)

Mathematical Theory of Neural Networks

(approximation, complexity, learning theory, kernel methods)

Computational Complexity

(machine models, complexity classes, complexity of Boolean functions, branching programs)

Machine Learning, Data Mining

(classification forests, neural nets, fuzzy control, genetic algorithms, evolutionary methods, intelligent agents)

Number Theory and Its Applications

Database and Web Technologies

(ontologies, preferences, trust, security and social networks, data structure estimation, linked data)