205. Department of Theoretical Computer Science and Mathematical Logic

Malostranské nám. 2/25, 118 00 Praha 1
Phone: +420 95155 4242
Fax: +420 951 55 4323
E-mail: ktiml@ktiml.mff.cuni.cz
Home Page http://ktiml.mff.cuni.cz/

People

Head of Department
doc. RNDr. Iveta Mrázová, CSc.
Vice-Head of Department
prof. RNDr. Roman Barták, Ph.D.
Scientific Secretary
RNDr. Jan Hric
Secretary
Petra Novotná
Professors
prof. RNDr. Roman Barták, Ph.D. prof. RNDr. Milan Vlach, DrSc.
Associate Professors
doc. RNDr. Ondřej Čepek, Ph.D. doc. Mgr. Petr Gregor, Ph.D. doc. RNDr. Antonín Kučera, CSc. doc. RNDr. Iveta Mrázová, CSc.
Senior Assistant Professors
RNDr. Jakub Bulín, Ph.D. RNDr. Jiří Fink, Ph.D. Mgr. Martin Pilát, Ph.D. Mgr. Jiří Švancara, Ph.D.
Lectors
RNDr. Jan Hric RNDr. Petr Kučera, Ph.D. Mgr. Vladan Majerech, Dr. RNDr. David Obdržálek, Ph.D. Mgr. Marta Vomlelová, Ph.D.
Research Scientists
Mgr. Marika Ivanová, Ph.D. Torsten Mütze, Ph.D.
Assistants
Shival Dubey, Ph.D. Mohammed Shafakhatullah Khan, M.Sc. Mgr. Kateřina Macková Mgr. Ondřej Mička Mgr. Lukáš Ondráček Mgr. Simona Ondrčková Mgr. Kristýna Pantůčková
Other Staff
Petra Novotná
External Members
RNDr. Petr Božovský, CSc. prof. RNDr. Ing. Martin Holeňa, CSc. doc. RNDr. Mirko Křivánek, CSc. doc. RNDr. Josef Mlček, CSc. Mgr. Roman Neruda, CSc.
Ph.D. Students
Mgr. Samuel Bartoš Mgr. Robert Brunetto Mgr. Jana Glivická Mgr. Tomáš Hubík Mgr. Lenka Kovářová Mgr. Tomáš Křen Mgr. Josef Moudřík RNDr. Ing. Otakar Trunda Mgr. Jiří Tumpach Mgr. Marek Vlk Mgr. Jindřich Vodrážka Mgr. Mikuláš Zelinka Mgr. Peter Zvirinský
Mgr. Student
Ildefonso Padrón Peňa

Rooms

IMPAKT, V Holešovičkách 747/2, Praha 8
2nd floor:
N 236, N 237, N 238
Malá Strana, Malostranské nám. 2/25, Praha 1
1st floor:
S 124
2nd floor:
S 206, S 207
3rd floor:
S 302, S 303, S 304, S 305

More links

Teaching Students Schedule Exams Student's Theses and Projects