Životopis
Profesionální kariéra
- 2. místo na školním karnevale, 17. ZŠ Zlín, 1993
Získaná ocenění
- Cena Zdeny Rábové 2009
- Diplomová práce roku 2010
- Cena Antonína Svobody pro nejlepší disertační práci roku 2015 2016
- The Best Paper award of CADE-27 2019
Členství
- TACAS'19 Artifact Evaluation co-chair (spolu s Ernst Moritz Hahnem)
- ATVA'19 Artifact Evaluation chair
- programové výbory konferencí:
- fanklub Ondry Lengála
Další zájmy
- doktorské studium (hlavní školitel, pomocný školitel) [ukončeno 2. 7. 2015]
- formální verifikace živočichů
Odkazy
Nástroje
- dWiNA: implementace rozhodovací procedury pro WS1S
- forester: nástroj pro formální verifikaci programů s komplexními dynamickými datovými strukturami založený na stromových automatech
- libvata: knihovna pro efektivní manipulaci s explicitně i symbolicky reprezentovanými konečnými stromovými automaty
- libsfta: knihovna pro práci se symbolicky reprezentovanými konečnými stromovými automaty (obsolete, nahrazeno knihovnou libvata)
Výzkum
Bakalářské/Diplomové práce
Ozvěte se v případě zájmu o práci z oblasti
- formální verifikace,
- statické analýzy,
- teoretické informatiky,
- automatů,
- logiky,
- algoritmů a datových struktur.
Konkrétní téma vybereme spolu.