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 
Česky

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.

People  

Find out personal contact information to people in KTIML

Research  

Look for the main research areas studied in the department

Teaching  

Information about teaching activities (mostly in Czech)

Services  

Services provided on the department web server

Contact  

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