František (Fanda) Blahoudek

PostDoc in a group of Mickael Randour. And a waterfalls lover.

I started my PostDOc at UMONS - Université de Mons, Belgium in the group of Mickael Randour in September 2018. I finished my PhD at the Faculty of Informatics, Masaryk University in Brno, Czech Republic in June 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 versionsi, list of fixes].


Proceedings publications