Mathieu Lehaut

About me

I am currently a post-doc researcher at the University of Gothenburg (Gothenburg, Sweden) in the Formal Methods team.
Before that, I was a Ph.D. student in team MoVe at LIP6 (Paris, France), under the supervision of Béatrice Bérard, Benedikt Bollig, and Tali Sznajder.

I am mainly interested in formal methods for verification and synthesis, automata theory, logics, games, and concurrency.

Contact me

📧: lehaut[at]
☎️: +46317721417


Here is my DBLP page.

Some presentations