205. Department of Theoretical Computer Science and Mathematical Logic

prof. RNDr. Roman Barták, Ph.D. prof. RNDr. Milan Vlach, DrSc.

doc. RNDr. Ondřej Čepek, Ph.D. doc. RNDr. Antonín Kučera, CSc. doc. RNDr. Iveta Mrázová, CSc.

RNDr. Jakub Bulín, Ph.D. RNDr. Jiří Fink, Ph.D. Mgr. Petr Gregor, Ph.D. Mgr. Martin Pilát, Ph.D.

RNDr. Jan Hric RNDr. Petr Kučera, Ph.D. Mgr. Vladan Majerech, Dr. RNDr. David Obdržálek, Ph.D. Mgr. Marta Vomlelová, Ph.D.

Torsten Mütze, Ph.D.

Mgr. Miloš Chromý Mgr. Ondřej Mička Mgr. Lukáš Ondráček Mgr. Jiří Švancara

Petra Novotná

RNDr. Petr Božovský, CSc. doc. RNDr. Ing. Martin Holeňa, CSc. doc. RNDr. Mirko Křivánek, CSc. doc. RNDr. Josef Mlček, CSc. Mgr. Roman Neruda, CSc.

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ý

Ildefonso Padrón Peňa