Logo of the Department

Department of Theoretical Computer Science and Mathematical Logic

Charles University, Faculty of Mathematics and Physics

Logo of the Faculty
 Home   People   Research   Teaching   Services   Contact 

Welcome to the web pages of Department of Theoretical Computer Science and Mathematical Logic at Faculty of Mathematics and Physics, Charles University. The department has been established in September 2000 and it is resposible for doing research and teaching the foundations of computer science including logic, artificial intelligence, automata theory, computing, complexity theory, and declarative programming (logic, functional and constraint programming).

We believe that you find information interesting to you here.


Find out personal contact information to people in KTIML


Look for the main research areas studied in the department


Information about teaching activities (mostly in Czech)


Services provided on the department web server


Contact Mail, phone, or fax to us

Computer Science Section

Study Computer Science in Prague

In the academic year 2013/2014, Charles University in Prague, Faculty of Mathematics and Physics, shall open three-year Bachelor and two-year Master programs in Computer Science in English. These programs have been running with great success for Czech students for years: now the Faculty opens them up to international students by giving them in English.

Creative Commons License