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í:
  • ATVA'19
  • TACAS'18 Artifact Evaluation
  • RP'17
  • SV-COMP'16
  • SV-COMP'15
• fanklub Ondry Lengála

Další zájmy

• doktorské studium (hlavní školitel, pomocný školitel) [ukončeno 2. 7. 2015]
• formální verifikace živočichů

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

• Uppsala
• publikace
• prezentace
• dblp

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.