text size
Department of Theoretical Computer Science and Mathematical Logic
Management
| head: | prof. RNDr. Roman Barták, Ph.D. |
| deputy head: | doc. Mgr. Petr Gregor, Ph.D. |
Position in the board
| secretary: | Petra Novotná |
| scientific secretary: | RNDr. Jan Hric |
- prof. RNDr. Roman Barták, Ph.D. - head
- RNDr. Jakub Bulín, Ph.D.
- Xuzhe Dang
- Bc. Vojtěch David
- Stefan Edelkamp, Dr. rer. nat.
- prof. RNDr. Ondřej Čepek, Ph.D.
- RNDr. Jiří Fink, Ph.D.
- RNDr. Věra Flídrová
- doc. Mgr. Petr Gregor, Ph.D. - deputy head
- RNDr. Jan Hric - scientific secretary
- Mgr. Petr Illner
- Mgr. Marika Ivanová, Ph.D.
- Mgr. Lada Kudláčková
- doc. RNDr. Antonín Kučera, CSc.
- RNDr. Petr Kučera, Ph.D.
- RNDr. Kateřina Macková
- Mgr. Vladan Majerech, Dr.
- Mgr. Jakub Mestek
- doc. RNDr. Josef Mlček, CSc.
- doc. RNDr. Iveta Mrázová, CSc.
- Mgr. Roman Neruda, CSc.
- Petra Novotná - secretary
- RNDr. David Obdržálek, Ph.D.
- RNDr. Simona Ondrčková
- Mgr. Kristýna Pantůčková
- doc. Mgr. Martin Pilát, Ph.D.
- Martin Plátek, CSc.
- Mrinalini Subramanian
- RNDr. Jiří Švancara, Ph.D.
- prof. RNDr. Milan Vlach, DrSc.
- Mgr. Marta Vomlelová, Ph.D.
- Mgr. Petra Vysušilová