Absolventi doktorského studia za rok 2005
Mgr. Jan Flasar
Obor | Informatika |
---|---|
Disertační práce | Interaction Techniques in Non-Immersive Virtual Environment |
Školitel | doc. Ing. Jiří Sochor, CSc. |
Složení komise | prof. Ing. Ivo Serba, CSc., FI MU Brno (předseda)
doc. RNDr. Luboš brim, CSc., FI MU Brno prof. Ing. Václav Přenosil, CSc., FI MU Brno doc. Ing. Jiří Sochor, CSc., FI MU Brno doc. Ing. Pavel Zemčík, Dr., FIT VUT Brno doc. Ing. Jiří Žára, CSc., FEL ČVUT Praha |
Oponenti | doc. Ing. Pavel Zemčík, Dr., FIT VUT Brno
doc. Ing. Jiří Žára, CSc., FEL ČVUT Praha |
Mgr. Petr Holub
Obor | Informatika |
---|---|
Disertační práce | Network and Grid Support for Multimedia Distribution and Processing |
Školitel | doc. RNDr. Luděk Matyska, CSc. |
Složení komise | prof. Ing. Pavel Zezula, CSc., FI MU Brno (předseda)
Ing. Jan Gruntorád, CSc., Cesnet Praha doc. Ing. Jan Janeček, CSc., FEL ČVUT Praha doc. RNDr. Luděk Matyska, CSc., FI MU Brno doc. Ing. Jan Staudek, CSc., FI MU Brno prof. Ing. Miroslav Švéda, CSc., FIT VUT Brno |
Oponenti | Ing. Jan Gruntorád, CSc., Cesnet Praha
doc. Ing. Jan Janeček, CSc., FEL ČVUT Praha assoc. prof. Dieter Kranzlmueller, University Linz & CERN |
Mgr. Jan Pešl
Obor | Informatika |
---|---|
Disertační práce | Uncertainty handling in the environmental modeling using computer algebra systems with online data manipulation |
Školitel | prof. RNDr. Jiří Hřebíček, CSc. |
Složení komise | prof. Ing. Ivo Serba, CSc., FI MU Brno (předseda)
prof. RNDr. Jiří Hřebíček, CSc., PřF MU Brno prof. Ing. Václav Přenosil, CSc., FI MU Brno prof. RNDr. Karel Segeth, CSc., MÚ AV ČR Praha doc. Ing. Pavel Zemčík, Dr., FIT VUT Brno |
Oponenti | Ing. Vladimír Adamec, CSc., CDV Brno
prof. Dr. Walter Gander, ETH Zurich prof. RNDr. Karel Segeth, CSc., MÚ AV ČR Praha |
Mgr. Aleš Křenek
Obor | Informatika |
---|---|
Disertační práce | Towards Interactive Molecular Models |
Školitel | doc. RNDr. Luděk Matyska, CSc. |
Složení komise | prof. RNDr. Jozef Gruska, DrSc., FI MU Brno (předseda)
doc. RNDr. Ivana Černá, CSc., FI MU Brno prof. Ing. Václav Hlaváč, CSc., FEL ČVUT Praha prof. RNDr. Jaroslav Koča, DrSc., PřF MU Brno doc. RNDr. Luděk Matyska, CSc., FI MU Brno doc. Ing. Zdeňka Rábová, CSc., FIT VUT Brno |
Oponenti | prof. Ing. Václav Hlaváč, CSc., FEL ČVUT Praha
prof. RNDr. Jaroslav Koča, DrSc., PřF MU Brno |
RNDr. Petr Sojka
Obor | Informatika |
---|---|
Disertační práce | Competing Patterns in Language Engineering and Computer Typesetting |
Školitel | doc. PhDr. Karel Pala, CSc. |
Složení komise | prof. Ing. Ivo Serba, CSc., FI MU Brno (předseda)
prof.RNDr. Milan Češka, CSc., FIT VUT Brno doc. PhDr. Karel Pala, CSc., FI MU Brno doc. RNDr. Lubomír Popelínský, CSc., FI MU Brno doc. Ing. Jiří Rybička, Dr., MZLU Brno doc. RNDr. Jiří Veselý, CSc., MÚ UK Praha |
Oponenti | dr. Hans Hagen, Holandsko
doc. Ing. Jiří Rybička, Dr., MZLU Brno doc. RNDr. Jiří Veselý, CSc., MÚ UK Praha |
Mgr. Radek Sedláček
Obor | Informatika |
---|---|
Disertační práce | Morphemic Analyser for Czech |
Školitel | doc. PhDr. Karel Pala, CSc. |
Složení komise | prof. Ing. Pavel Zezula, CSc., FI MU Brno (předseda)
doc. RNDr. Ivana Černá, CSc., FI MU Brno doc. RNDr. Jan Hajič, Dr., MFF UK Praha doc. RNDr. Ivan Kopeček, CSc., FI MU Brno doc. RNDr. Michal Kozubek, Ph.D., FI MU Brno doc. PhDr. Karel Pala, CSc., FI MU Brno doc. Ing. Jan Staudek, CSc., FI MU Brno doc. Ing. Pavel Zemčík, Dr., FIT VUT Brno doc. Ing. Jaroslav Zendulka, CSc., FIT VUT Brno |
Oponenti | doc. RNDr. Jan Hajič, Dr., MFF UK Praha
PhDr. Klára Osolsobě, Dr., FF MU Brno dr. Martin Rajman, EPFL Lausanne, Švýcarsko |
Mgr. Jiří Srba
Obor | Informatika |
---|---|
Disertační práce | Selected Techniques for Verification of Infinite-State Systems |
Školitel | doc. RNDr. Mojmír Křetínský, CSc. |
Složení komise | prof. Ing. Pavel Zezula, CSc., FI MU Brno (předseda)
prof. RNDr. Milan Češka, CSc., FIT VUT Brno doc. RNDr. Petr Jančar, CSc., VŠB-TU Ostrava doc. RNDr. Mojmír Křetínský, CSc., FI MU Brno doc. RNDr. Antonín Kučera, Ph.D., FI MU Brno prof. Ing. Ivo Serba, CSc., FI MU Brno |
Oponenti | prof. RNDr. Milan Češka, CSc., FIT VUT Brno
doc. RNDr. Antonín Kučera, Ph.D., FI MU Brno |
Mgr. Marek Veber
Obor | Informatika |
---|---|
Disertační práce | Nástroje pro textové korpusy a morfologické databáze |
Školitel | doc. PhDr. Karel Pala, CSc. |
Složení komise | prof. Ing. Pavel Zezula, CSc., FI MU Brno (předseda)
doc. RNDr. Luboš Brim, CSc., FI MU Brno doc. RNDr. Jan Hajič, Dr., MFF UK Praha doc. RNDr. Karel Oliva, Ph.D., ÚJČ AV ČR Praha doc. PhDr. Karel Pala, CSc., FI MU Brno doc. RNDr. Vladimír Petkevič, CSc., FF UK Praha prof. Ing. Ivo Serba, CSc., FI MU Brno doc. Ing. Pavel Zemčík, Dr., FIT VUT Brno |
Oponenti | doc. RNDr. Jan Hajič, Dr., MFF UK Praha
doc. RNDr. Karel Oliva, Ph.D., ÚJČ AV ČR Praha doc. RNDr. Vladimír Petkevič, CSc., FF UK |
Mgr. Jan Strejček
Obor | Informatika |
---|---|
Disertační práce | Linear Temporal Logic: Expressiveness and Model Checking |
Školitel | doc. RNDr. Mojmír Křetínský, CSc. |
Složení komise | prof. Ing. Pavel Zezula, CSc., FI MU (předseda)
doc. RNDr. Luboš Brim, CSc., FI MU Brno prof. RNDr. Milan Češka, CSc., FIT VUT Brno doc. RNDr. Petr Jančar, CSc., VŠB-TU Ostrava doc. RNDr. Mojmír Křetínský, CSc., FI MU Brno doc. RNDr. Antonín Kučera, Ph.D., FI MU Brno prof. RNDr. Miroslav Novotný, DrSc., FI MU Brno |
Oponenti | doc. RNDr. Luboš Brim, CSc., FI MU Brno
dr. Stefan Schwoon, FMI, University of Stuttgart prof. Igor Walukiewicz, LaBRI, Bordeaux University |
Mgr. Jiří Barnat
Obor | Informatika |
---|---|
Disertační práce | Distributed Memory LTL Model Checking |
Školitel | doc. RNDr. Luboš Brim, CSc. |
Složení komise | prof. RNDr. Jozef Gruska, DrSc., FI MU (předseda)
doc. RNDr. Luboš Brim, CSc., FI MU Brno prof. RNDr. Milan Češka, CSc., FIT VUT Brno doc. RNDr. Petr Jančar, CSc., VŠB-TU Ostrava doc. RNDr. Antonín Kučera, Ph.D., FI MU Brno prof. RNDr. Miroslav Novotný, DrSc., FI MU Brno prof. Ing. Pavel Zezula, CSc., FI MU Brno |
Oponenti | prof. RNDr. Milan Češka, CSC., FIT VUT Brno
prof. Dr. Ulrich Ultes-Nitsche, Švýcarsko |