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