205. Department of Theoretical Computer Science and Mathematical Logic

prof. RNDr. Roman Barták, Ph.D.

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.

RNDr. Jakub Bulín, Ph.D. RNDr. Jiří Fink, Ph.D. Mgr. Martin Pilát, Ph.D. RNDr. Jiří Švancara, 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. Věra Červíčková

Petra Novotná

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.

Mgr. Samuel Bartoš Mgr. Robert Brunetto Mgr. Jana Glivická Mgr. Tomáš Hubík Mgr. Petr Illner Mgr. Gabriela Kadlecová Mgr. Lenka Kovářová Mgr. Tomáš Křen Mgr. Kateřina Macková Mgr. Ondřej Mička Mgr. Josef Moudřík Mgr. Lukáš Ondráček Mgr. Simona Ondrčková Mgr. Kristýna Pantůčková RNDr. Ing. Otakar Trunda Mgr. Jiří Tumpach Mgr. Marek Vlk Mgr. Jindřich Vodrážka Mgr. Petra Vysušilová Mgr. Mikuláš Zelinka Mgr. Peter Zvirinský

Ildefonso Padrón Peňa

Pavel Obdržálek