Erwann Loulergue

I am Erwann Loulergue, a french CompSci and math student. I am currently doing a PhD under the supervision of Benedikt Bollig (LMF) and Peter Habermehl (IRIF). My main research interests include automata theory and more generally formal languages, model learning, and program verification. I also have a keen interest in mathematics and try to find time to teach them to high school or CPGE students.

For any queries (related to my research or not), do not hesitate to contact me at ErwannL (at) lmf (dot) cnrs (dot) fr.

My PhD

My Phd project is titled "Passive learning of extended automata and applications". In short, we are trying to passively learn automata that use infinite or otherwise too-large-to-handle alphabets. This comes, for example, through finding necessary or sufficient conditions on the alphabet structure that makes automata over this alphabet learnable.

Teaching

• 2025/26 : Mathematics class of first-year Polytech students (equivalent to L1/Math Sup).
• Since 2022 : Tutoring for high school and CPGE students