Please follow this link to the new website of the Institute of Computer Science ...

 

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)

 

Computational Complexity

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

 

Please follow this link to the new website of the Institute of Computer Science ...