![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
prof. RNDr. Mojmír Křetínský, CSc.
profesor – Katedra teorie programování
kancelář: C419
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4239 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
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