The department is responsible for graduate study programs Theoretical Computer Science and Artificial Intelligence and for the doctoral program Theoretical Computer Science (that includes Artificial Intelligence topics as well). We are teaching courses and supervise students at all levels of studies (undergraduate, graduate, and postgraduate). We focus on areas such as predicate and propositional logic, formal automata and grammars, complexity and computability, artificial intelligence including planning/scheduling, constraint satisfaction, knowledge representation (logic and probabilistic), machine learning and data mining, neural networks, nature-inspired computation, and robotics.