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)


Contact


Research

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 is reviewed by Orna Kupferman and Christel Baier.

Projects

Proceedings publications


Teaching (seminar tutor)