205. Department of Theoretical Computer Science and Mathematical Logic

prof. RNDr. Roman Barták, Ph.D. prof. RNDr. Ondřej Čepek, Ph.D. Stefan Edelkamp, Dr. rer. nat.

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.

Xuzhe Dang Mgr. Marika Ivanová, Ph.D.

Mgr. Petra Vysušilová

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. Mgr. Lukáš Ondráček 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. Josef Moudřík RNDr. Simona Ondrčková Mgr. Kristýna Pantůčková Mrinalini Subramanian Mgr. Jiří Tumpach RNDr. Mikuláš Zelinka Mgr. Peter Zvirinský

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

Bc. Pavel Obdržálek