velikost textu
Katedra teoretické informatiky a matematické logiky
Vedení
| vedoucí: | prof. RNDr. Roman Barták, Ph.D. |
| zástupce vedoucího: | doc. Mgr. Petr Gregor, Ph.D. |
Funkce a agendy
| sekretářka: | Petra Novotná |
| sekretářka: | Petra Novotná |
| tajemník: | RNDr. Jan Hric |
- prof. RNDr. Roman Barták, Ph.D. - vedoucí
- RNDr. Jakub Bulín, Ph.D.
- prof. RNDr. Ondřej Čepek, Ph.D.
- Xuzhe Dang
- Bc. Vojtěch David
- Stefan Edelkamp, Dr. rer. nat.
- RNDr. Jiří Fink, Ph.D.
- RNDr. Věra Flídrová
- doc. Mgr. Petr Gregor, Ph.D. - zástupce vedoucího
- prof. RNDr. Ing. Martin Holeňa, CSc.
- RNDr. Jan Hric - tajemník
- Mgr. Petr Illner
- Mgr. Marika Ivanová, Ph.D.
- doc. RNDr. Antonín Kučera, CSc.
- RNDr. Petr Kučera, Ph.D.
- Mgr. Lada Kudláčková
- 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á - sekretářka a sekretářka
- RNDr. David Obdržálek, Ph.D.
- RNDr. Simona Ondrčková, Ph.D.
- Mgr. Kristýna Pantůčková, Ph.D.
- doc. Mgr. Martin Pilát, Ph.D.
- Martin Plátek, CSc.
- Kryštof Pšenička
- Mrinalini Subramanian
- RNDr. Jiří Švancara, Ph.D.
- prof. RNDr. Milan Vlach, DrSc.
- Mgr. Marta Vomlelová, Ph.D.