205. Department of Theoretical Computer Science and Mathematical Logic

Address: Malostranské nám. 25, 118 00 Praha 1
Phone:  +420 22191 4242
Fax:  +420 221 91 4323
E-mail: ktiml@ktiml.mff.cuni.cz
Home Page: http://ktiml.mff.cuni.cz/
More links: Teaching, Students, Schedule, Exams, Students' Theses and Projects
Head of Department: doc. RNDr. Roman Barták, Ph.D.
Vice-Head of Department: doc. RNDr. Ondřej Čepek, Ph.D.
Scientific Secretary: RNDr. Jan Hric
Secretary: Petra Novotná
 
Professors:prof. RNDr. Václav Koubek, DrSc.
 prof. RNDr. Petr Štěpánek, DrSc.
 prof. RNDr. Milan Vlach, DrSc.
Associate Professors:doc. RNDr. Roman Barták, Ph.D.
 doc. RNDr. Ondřej Čepek, Ph.D.
 doc. RNDr. Antonín Kučera, CSc.
 doc. RNDr. Josef Mlček, CSc.
 doc. RNDr. Iveta Mrázová, CSc.
 prof. RNDr. Petr Simon, DrSc.
Senior Assistant Professors:Mgr. Petr Gregor, Ph.D.
 RNDr. Petr Kučera, Ph.D.
 RNDr. Pavel Surynek, Ph.D.
 Mgr. Marta Vomlelová, Ph.D.
Lectors:RNDr. Jan Hric
 Mgr. Vladan Majerech, Dr.
Research Scientist:Martin Plátek, CSc.
Other Staff:Kateřina Košnářová
 Ing. Jiří Novák
 Petra Novotná
External Members:RNDr. Petr Božovský, CSc.
 prof. RNDr. Petr Hájek, DrSc.
 RNDr. Ing. Martin Holeňa, CSc.
 Mgr. Jan Jakubův
 Mgr. Michal Koucký, Ph.D.
 doc. RNDr. Mirko Křivánek, CSc.
 Mgr. Roman Neruda, CSc.
 RNDr. Petr Pudlák
 Bc. Vladimír Rovenský
Ph.D. Students:Martin Babka
 Mgr. Lukáš Bajer
 Jan Bulánek
 Mgr. Vladimír Čunát
 Filip Dvořák
 Mgr. Petr Glivický
 Mgr. Marek Kukačka
 Ondřej Kunčar
 Mgr. Martin Pilát
 Mgr. Zuzana Reitermanová
 Bc. Tomáš Skalický
 Daniel Toropila
 Mgr. Václav Vlček

Rooms
Malá Strana, Malostranské nám. 25, Praha 1
2nd floor S 206, S 207
3rd floor S 302, S 303, S 304, S 305