prof. RNDr. Mojmír Křetínský, CSc.

Vedoucí katedry – Katedra teorie programování


Botanická 554/68a
Brno
Kancelář: C419

Zobrazit na mapě

Telefon: 549 49 4239
E-mail: mojmir@fi.muni.cz
Školitel

obor: Informatika

školitel doktorských studentů
Tomáš Babiak
Vojtěch Řehák absolvent 2007, téma: On Extensions of Process Rewrite Systems
Jiří Srba absolvent 2005, téma: Selected Techniques for Verification of Infinite-State Systems
Jan Strejček absolvent 2005, téma: Linear Temporal Logic: Expressiveness and Model Checking

obor: Matematická informatika

školitel doktorských studentů
Antonín Kučera absolvent 1997, téma: Decidability Issues for Processes with Infinitely many States

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info