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.
📧: lehaut[at]chalmers.se ☎️: +46317721417
Here is my DBLP page.