English version of this subpage is under construction
Doktorské studium
Škola: Vysoká škola báňská - technická univerzita OstravaFakulta: 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 |