• Research

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:  
Contact

Department secretary

(Petra Novotná)

+420 951 554 245

Fax: +420 951 554 323

E-mail:

Petra Novotná

Web administrator

(Jindřich Vodrážka)

Jindřich Vodrážka

Server administrator

(Milan Fučík)

Milan Fučík









Address

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



Map