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]chalmers.se
☎️: +46317721417

Publications

Here is my DBLP page.

Some presentations

• For the 2024 Formal Methods team retreat (December 23): slides.
• At the YR-CONCUR 23 workshop (September 23): slides.
• During a visit by Moshe Vardi (March 23): slides.
• For the 2023 Formal Methods team retreat (January 23): slides.
• At Highlights 2022 (June 22): slides.
• For a games seminar (February 22): slides.
• Presentation at the Journées annuelles du GT ALGA (June 2021): slides.
• Thesis defense (held in December of 2020): slides.
• At a master class with Nancy Lynch (September 2019): slides.
• Midi de Move (October 2018): slides.
• ATVA 2018: slides.
• MOVEP Summer school 2018
• Journées nationales du GdR-IM 2018: poster.