• Research


The department does 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. Our research involves both theoretical aspects but also practical applications. We are in close research contact with local partners, such as Czech Technical University, Masaryk University, and Czech Academy of Sciences as well as with partners all over the world such as Rutgers University, CUNY, Ben-Gurion University, University of Huddersfield, LAAS-CNRS, Saarland University, University of Ljubljana, University of Udine, ISTC-CNR, ESA, NASA etc.

Partner institutions

Last change: September 20, 2017 15:43 
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