• Academics


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.

Last change: June 12, 2017 09:40 
Share on:  

Department secretary

(Petra Novotná)

+420 951 554 245

Fax: +420 951 554 323


Petra Novotná

Web administrator

(Jindřich Vodrážka)

Server administrator

(Milan Fučík)


Department of Theoretical Computer Science and Mathematical Logic

Faculty of Mathematics and Physics

Charles University

Malostranské náměstí 25

Prague 1, 118 00

Czech Republic