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.


Contact


Research

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)