205. Department of Theoretical Computer Science and Mathematical Logic

prof. RNDr. Roman Barták, Ph.D. prof. RNDr. Ondřej Čepek, Ph.D.

doc. Mgr. Petr Gregor, Ph.D. 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.

Mgr. Marika Ivanová, Ph.D. Torsten Mütze, Ph.D.

Petra Novotná

RNDr. Petr Božovský, CSc. prof. RNDr. Ing. Martin Holeňa, CSc. doc. RNDr. Mirko Křivánek, CSc. doc. RNDr. Antonín Kučera, CSc. doc. RNDr. Josef Mlček, CSc. Mgr. Roman Neruda, CSc. Martin Plátek, CSc. prof. RNDr. Milan Vlach, DrSc.

RNDr. Věra Červíčková Mgr. Jana Glivická Mgr. Tomáš Hubík Mgr. Petr Illner Mgr. Gabriela Kadlecová RNDr. Kateřina Macková Mgr. Jakub Mestek Mgr. Ondřej Mička Mgr. Josef Moudřík Mgr. Lukáš Ondráček Mgr. Simona Ondrčková Mgr. Kristýna Pantůčková Mrinalini Subramanian Mgr. Jiří Tumpach Mgr. Petra Vysušilová RNDr. Mikuláš Zelinka Mgr. Peter Zvirinský

Bc. Vojtěch Hotmar Ildefonso Padrón Peňa

Bc. Pavel Obdržálek