Doktorské studium

Škola: Vysoká škola báňská - technická univerzita Ostrava
Fakulta: Fakulta elektrotechniky a informatiky
Katedra: Katedra informatiky
Obor: Informatika a aplikovaná matematika
Studijní program: Elektrotechnika a informatika

Téma dizertační práce: Verifikace konkurentních systémů
Školitel: Doc. RNDr. Petr Jančar CSc.
Datum zahájení DSP: 23.9.2002
Přerušení studia: od 9.7.2007 do 1.5.2009

Teze dizertační práce: Vybrané problémy formální verifikace
Termín státní doktorské zkoušky: 25.6.2007 v 15:30

Dizertační práce: Selected Problems from the Area of Formal Verification
Termín obhajoby: 2.2.2010 v 14:00
Komise pro obhajobu:

• doc. Dr. Ing. Eduard Sojka, předseda, FEI VŠB - TU Ostrava
• prof. RNDr. Václav Snášel, CSc., místopředseda, FEI VŠB - TU Ostrava
• prof. Mgr. Jiří Srba, Ph.D., oponent, University of Aalborg, Dánsko
• doc. Ing. Tomáš Vojnar, Ph.D., oponent, UITS FIT VUT Brno
• RNDr. Tomáš Brázdil, Ph.D., oponent, FI MU Brno
• prof. Ing. Ivo Vondrák, CSc., FEI VŠB - TU Ostrava
• doc. RNDr. Jindřich Černohorský, CSc., FEI VŠB - TU Ostrava
• doc. RNDr. Marie Duží, CSc., FEI VŠB - TU Ostrava
• prof. RNDr. Petr Jančar, CSc., školitel, FEI VŠB - TU Ostrava

Studijní plán

Č. předmětu	Název předmětu	Plánovaný termín zkoušky	Skutečný termín zkoušky
456904	Teorie formálních systémů	15.2.2003	20.8.2003
456908	Objektově orientované technologie	31.8.2003	14.2.2003
456909	Petriho sítě	31.8.2003	20.8.2003
456906	Teorie jazyků a automatů	15.2.2004	4.3.2004
456907	Teorie algoritmů	31.8.2004	24.9.2004
712191	Jazyk anglický	31.8.2004	28.5.2007