I am a Ph.D. student at the Faculty of Informatics, Masaryk University in Brno, Czech republic,
under the supervision of Jan Strejček.
I work as a programmer at Computer Systems Unit at FI MU.
- (+420) 54949 6285
- Consultation hours
- Thursday 14:00–16:00 (better after prior e-mail arrangement)
My main research interests are ω-automata with complex acceptance condition and the translation of LTL to ω-automata.
- A translator of LTL formulae to deterministic or nondeterministic Emerson-Lei ω-automata.
- ATVA 2019 Artifact Evaluation Committee
- TACAS 2020 Artifact Evaluation Committee