Mathieu Lehaut

About me

I am currently a post-doc researcher at the University of Warsaw (Poland).
Before that I was at the University of Gothenburg (Gothenburg, Sweden) in the Formal Methods team.
I obtained my Ph.D. in team MoVe at LIP6 (Paris, France), under the supervision of Béatrice Bérard, Benedikt Bollig, and Tali Sznajder. The defense was held on the 17th of December, 2020.

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

Contact me

📧: m.lehaut@uw.edu.pl

Publications

Here is my DBLP page.

Some presentations

• At the automata seminar in Warsaw (November 2024) (no slides).
• At ATVA 2024 (October 2024): slides.
• At GandALF 2024 (June 2024): slides.
• 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.