František (Fanda) Blahoudek

I am currently a PhD student at the Faculty of Informatics, Masaryk University in Brno, Czech Republic. My advisor is Jan Strejček.



My research interests are LTL to omega-automata translations, model-checking, control synthesis, formal verification for software analysis.

I am one of the authors of the LTL to DRA translator LTL3DRA

Proceedings publications

Teaching (seminar tutor)