|
Name |
Supervisor |
|
|
RNDr. Věra Flídrová |
|
|
|
Doc. Mlček |
|
|
|
Mgr. Tomáš Hubík |
Doc. Křivánek |
|
|
Mgr. Petr Illner |
|
|
|
|
||
|
Dr. Pilát |
|
|
|
Mgr. Jakub Mestek |
|
|
|
|
||
|
R. Neruda, CSc. |
|
|
|
Prof. Barták |
|
|
|
Prof. Barták |
|
|
|
Prof. Barták |
|
|
|
Mgr. Jiří Tumpach |
|
|
|
Dr. Pilát |
|
|
|
RNDr. 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
