Doctoral Study Graduates in 2009

RNDr. Vojtěch Forejt

Field of StudyInformatics
Doctoral Thesis Controller Synthesis for Markov Decision Processes with Branching - Time Objectives
Supervisor prof. RNDr. Antonín Kučera, Ph.D., FI MU
Committee Members prof. RNDr. Jozef Gruska, DrSc., FI MU (Chairman)
dr. Patricia Bouyer-Decitre, CNRS&ENS de Cachan
prof. RNDr. Petr Jančar, CSc., VŠB TU Ostrava
prof. RNDr. Mojmír Křetínský, CSc., FI MU
doc. Ing. Tomáš Vojnar, Ph.D., FIT VUT v Brně
prof. Ing. Pavel Zezula, CSc., FI MU
Reviewers dr. Patricia Bouyer-Decitre, CNRS&ENS de Cachan
prof. RNDr. Petr Jančar, CSc., VŠB TU Ostrava

RNDr. Tomáš Rebok

Field of Study Informatics
Doctoral Thesis DiProNN: Distributed Programmable Network Node
Supervisor doc. RNDr. Luděk Matyska, CSc., FI MU
Committee Members prof. Ing. Pavel Zezula, CSc., FI MU (Chairman)
prof. RNDr. Antonín Kučera, Ph.D., FI MU
doc. Ing. Karol Molnár, Ph.D., FEKT VUT v Brně
prof. Ing. Miroslav Švéda, CSc., FIT VUT v Brně
doc. Dr. Ing. Pavel Zemčík, FIT VUT v Brně
Reviewers doc. Ing. Karol Molnár, Ph.D., FEKT VUT v Brně
prof. Depei Qian, Beihang University, China

RNDr. Václav Brožek

Field of Study Informatics
Doctoral Thesis Basic Model Checking Problems for Stochastic Games
Supervisor prof. RNDr. Antonín Kučera, Ph.D., FI MU
Committee Members prof. Ing. Pavel Zezula, CSc., FI MU (Chairman)
prof. RNDr. Milan Češka, CSc., FIT VUT v Brně
doc. RNDr. Petr Hliněný, Ph.D., FI MU
prof. RNDr. Petr Jančar, CSc., VŠB TU Ostrava
doc. Ing. Tomáš Vojnar, Ph.D., FIT VUT v Brně
Reviewers Dr. Kousha Etessami, LFCS, University of Edinburgh
prof. RNDr. Petr Jančar, CSc., VŠB TU Ostrava

RNDr. Jan Pavlovič

Field of StudyInformatics
Doctoral Thesis Process-Oriented Modeling and Infrastructure for Remedial Decision Support System
Supervisor prof. RNDr. Jiří Hřebíček, CSc., PřF MU
Committee Members prof. Ing. Pavel Zezula, CSc., FI MU (Chairman)
prof. RNDr. Milan Češka, CSc., FIT VUT v Brně
prof. RNDr. Jaroslav Král, DrSc., FI MU
prof. RNDr. Antonín Kučera, Ph.D., FI MU
prof. Ing. Vladimír Mařík, DrSc., FEL ČVUT
doc. Ing. Jiří Sochor, CSc., FI MU
Reviewers prof. RNDr. Jaroslav Král, DrSc., FI MU
prof. Ing. Vladimír Mařík, DrSc., FEL ČVUT
prof. Tissa Illangasekare, ES&E, Colorado School of Mines

Mgr. et Mgr. Pavlína Moravcová Vařeková

Field of Study Informatics
Doctoral Thesis Model Checking of Control-User Systems
Supervisor prof. RNDr. Ivana Černá, CSc., FI MU
Committee Members prof. RNDr. Antonín Kučera, Ph.D., FI MU (Chairman)
Mgr. Jiří Adámek, Ph.D., ESC s.r.o.
doc. RNDr. Petr Jančar, CSc., VŠB TU Ostrava
prof. RNDr. Mojmír Křetínský, CSc., FI MU
doc. Ing. Jiří Sochor, CSc., FI MU
doc. Ing. Tomáš Vojnar, Ph.D., FIT VUT v Brně
Reviewers Mgr. Jiří Adámek, Ph.D., ESC s.r.o.
Dr. Markus Lumpe, Swinburne UT, Australia

RNDr. Marek Kumpošt

Field of StudyInformatics
Doctoral Thesis Context information and user profiling
Supervisor doc. RNDr. Václav Matyáš, M.Sc., Ph.D., FI MU
Committee Members prof. RNDr. Jozef Gruska, DrSc., FI MU (Chairman)
doc. Ing. Jaroslav Dočkal, CSc., FVT Univerzita obrany
doc. Ing. Petr Hanáček, Dr., FIT VUT v Brně
doc. RNDr. Luděk Matyska, CSc., FI MU
doc. RNDr. Lubomír Popelínský, Ph.D., FI MU
Reviewers doc. Ing. Jaroslav Dočkal, CSc., FVT Univerzita obrany
doc. RNDr. Lubomír Popelínský, Ph.D., FI MU

Mgr. et Mgr. Jan Krhovják

Field of Study Informatics
Doctoral Thesis Cryptographic random and pseudorandom data generators
Supervisor doc. RNDr. Václav Matyáš, M.Sc., Ph.D., FI MU
Committee Members prof. RNDr. Jozef Gruska, DrSc., FI MU (Chairman)
doc. Ing. Petr Hanáček, Dr., FIT VUT v Brně
prof. RNDr. Antonín Kučera, Ph.D., FI MU
doc. RNDr. Luděk Matyska, CSc., FI MU
doc. Ing. Jiří Sobotík, CSc.
doc. RNDr. Martin Stanek, Ph.D., FMFI UK v Bratislave
Reviewers doc. Ing. Jiří Sobotík, CSc.
doc. RNDr. Martin Stanek, Ph.D., FMFI UK v Bratislave

RNDr. Jan Blaťák

Field of StudyInformatics
Doctoral Thesis Efficient Mining First-Order Frequent Patterns
Supervisor doc. RNDr. Lubomír Popelínský, Ph.D., FI MU
Committee Members prof. RNDr. Antonín Kučera, Ph.D., FI MU (Chairman)
prof. RNDr. Luboš Brim, CSc., FI MU
doc. PhDr. Karel Pala, CSc., FI MU
doc. Ing. Lukáš Sekanina, Ph.D., FIT VUT v Brně
doc. RNDr. Petr Sojka, Ph.D., FI MU
doc. PhDr. Ján Šefránek, CSc., FMFI UK v Bratislave
Reviewers ass. prof. Alípio Mário Jorge, FEP University of Porto
doc. PhDr. Ján Šefránek, CSc., FMFI UK v Bratislave

Mgr. Tomáš Hudík

Field of Study Informatics
Doctoral Thesis Learning Algorithms in Processing of Various Difficult Medical and Environmental Data
Supervisor doc. Ing. Jan Žižka, CSc., FI MU
Committee Members prof. RNDr. Luboš Brim, CSc., FI MU (Chairman)
doc. RNDr. Václav Matyáš, M.Sc., Ph.D., FI MU
doc. RNDr. Lubomír Popelínský, Ph.D., FI MU
doc. Ing. Lukáš Sekanina, Ph.D., FIT VUT v Brně
doc. Ing. Jiří Sochor, CSc., FI MU
doc. Ing. Jaroslav Zendulka, CSc., FIT VUT v Brně
Reviewers prof. Dr. Michail Alexandrov, Autonomous University of Barcelona
doc. Ing. Jaroslav Zendulka, CSc., FIT VUT v Brně

RNDr. Igor Peterlík

Field of Study Informatics
Doctoral Thesis Haptic Interaction with Non-linear Deformable Objects
Supervisor doc. RNDr. Luděk Matyska, CSc., FI MU
Committee Members prof. Ing. Ivo Serba, CSc. (Chairman)
prof. RNDr. Ivana Černá, CSc., FI MU
prof. Ing. Václav Hlaváč, CSc., FEL ČVUT
doc. Ing. Jiří Sochor, CSc., FI MU
prof. Ing. Miroslav Švéda, CSc., FIT VUT v Brně
prof. Ing. Václav Přenosil, CSc., FI MU
Reviewers prof. Ing. Václav Hlaváč, CSc., FEL ČVUT
dr. Cagatay Basdogan, Koc University, Istanbul

RNDr. Petr Švenda

Field of Study Informatics
Doctoral Thesis The link key security in wireless sensor networks
Supervisor doc. RNDr. Václav Matyáš, M.Sc., Ph.D., FI MU
Committee Members prof. RNDr. Jozef Gruska, DrSc., FI MU (Chairman)
RNDr. Jan Bouda, Ph.D., FI MU
doc. Ing. Petr Hanáček, Dr., FIT VUT v Brně
doc. Ing. Zdeněk Kotásek, CSc., FIT VUT v Brně
doc. RNDr. Luděk Matyska, CSc., FI MU
Reviewers prof. Dr. Dieter Gollmann, TU Hamburg-Harburg
doc. Ing. Petr Hanáček, Dr., FIT VUT v Brně