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

profesor – Katedra teorie programování

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

Zobrazit na mapě

telefon:	549 49 4239
e‑mail:

sociální a akademické sítě:

Základní údaje

Obor: Informatika

Témata závěrečných prací (školitel)

Translation of Linear Temporal Logic to Omega-Automata – absolvent 2017
On Extensions of Process Rewrite Systems – absolvent 2007
Selected Techniques for Verification of Infinite-State Systems – absolvent 2005
Linear Temporal Logic: Expressiveness and Model Checking – absolvent 2005

Obor: Matematická informatika

Témata závěrečných prací (školitel)

Decidability Issues for Processes with Infinitely many States – absolvent 1997

Podrobné informace o tématech a doktorských studentech