The Department of Theoretical Computer Science and Mathematical Logic is focused on research in areas of automated planning and scheduling, constraint satisfaction, knowledge representation and reasoning, Boolean functions, robotics, data mining, machine learning, neural networks, nature-inspired computations, smart grids, and parallel and distributed computing. The research activities involve both theoretical aspects and practical applications.

The department is in close research contact with local partners as well as the international ones and is responsible for different courses for both bachelor and master students.