Department of Theoretical Computer Science and Mathematical Logic

The Department of Theoretical Computer Science and Mathematical Logics focuses on research in the fields of automated planning, knowledge representation, boolean functions, robotics, data mining, machine learning, neural networks, nature-inspired computing, smart grids, and parallel and distributed computing. Research activities cover both the theoretical aspects of these fields and their practical applications.

The department is in close research contact with local and international partners and is responsible for selected courses for both bachelor and master students.