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

Vedoucí katedry – Katedra teorie programování


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

Zobrazit na mapě

Telefon: 549 49 4239
E‑mail:
Školitel

Obor: Informatika

školitel doktorských studentů
Tomáš Babiak absolvent 2017, téma: Translation of Linear Temporal Logic to Omega-Automata
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