František (Fanda) Blahoudek

I am currently finishing my PhD studies at the Faculty of Informatics, Masaryk University in Brno, Czech Republic. My advisor is Jan Strejček. I am looking for a PostDoc position.

My CV (pdf)



My research interests are LTL to omega-automata translations, model-checking, control synthesis, formal verification for software analysis.
My thesis is titled Automata for Formal Methods: Little Steps Towards Perfection and was reviewed by Orna Kupferman and Christel Baier [submitted, corrected, and ready-to-print corrected versions].


Proceedings publications

Teaching (seminar tutor)