|
Name |
Supervisor |
|
|
Martin Babka |
Doc. Koucký |
|
|
Dr. Fink |
|
|
|
Robert Brunetto |
Dr. Vomlelová |
|
|
Doc. Mlček |
|
|
|
Tomáš Hubík |
Doc. Křivánek |
|
|
Miloš Chromý |
Doc. Čepek |
|
|
Petr Janouš |
Prof. Barták |
|
|
Doc. Holeňa |
|
|
|
Dr. Pilát |
|
|
|
R. Neruda, CSc. |
|
|
|
Dr. Fink |
|
|
|
Simona Ondrčková |
Prof. Barták |
|
|
Prof. Barták |
|
|
|
Jiří Švancara |
Prof. Barták |
|
|
Prof. Barták |
|
|
|
Marek Vlk |
Prof. Barták |
|
|
Jindřich Vodrážka |
Prof. Barták |
|
|
Vojtěch Vorel |
Doc. Čepek |
|
|
Dr. Pilát |
|
|
|
Mikuláš Zelinka |
Dr. Pilát |
|
|
Doc. Mrázová |
|
|
Department secretary (Petra Novotná) Tel.:+420 951 554 245 E-mail: |
|
|
Web administrator (Jindřich Vodrážka)
|
|
|
Server administrator (Milan Fučík)
|
|
Department of Theoretical Computer Science and Mathematical Logic
Faculty of Mathematics and Physics
Charles University
Malostranské náměstí 25
Prague 1, 118 00
Czech Republic
