Name
Room
E-mail
RNDr. Petr Božovský, CSc.
309
[e-mail]
Ing. RNDr. Martin Holeňa, CSc.
Ext. (UI AVČR)
Doc. RNDr. Mirko Křivánek, CSc.
Ext.
Mgr. Roman Neruda, CSc.
Doc. RNDr. Pavel Surynek, Ph.D.
Dr. Lukáš Chrpa
Department secretary
(Petra Novotná)
+420 951 554 245
Fax: +420 951 554 323
E-mail: [e-mail]
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
