František (Fanda) Blahoudek

I finished my PhD at the Faculty of Informatics, Masaryk University in Brno, Czech Republic in June 2018. My advisor was Jan Strejček. I'm starting a PostDoc at UMONS - Université de Mons, Belgium in the group of Mickael Randour in September 2018.

My CV (pdf)



My research interests are LTL to ω-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)