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. doc. Mgr. Martin Pilát, Ph.D.

RNDr. Jakub Bulín, Ph.D. RNDr. Jiří Švancara, Ph.D.

RNDr. Jiří Fink, 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.

Stefan Edelkamp, Dr. rer. nat. 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 Flídrová Mgr. Jana Glivická Mgr. Tomáš Hubík Mgr. Petr Illner Mgr. Gabriela Kadlecová Mgr. Lada Kudláčková Mgr. Matyáš Lorenc RNDr. Kateřina Macková Mgr. Jakub Mestek Mgr. Ondřej Mička Mgr. Josef Moudřík Mgr. Lukáš Ondráček RNDr. 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