Loig Jezequel

Loig Jezequel is an Associate Professor at the University of Nantes, teaching in the Computer Science Department of the IUT de Nantes and conducting research in the Real-Time Systems team at LS2N (Laboratory of Computer Science and Networks). His research focuses on formal methods for distributed systems, including model checking, Petri net analysis, and automated verification techniques. He earned his Ph.D. in 2012 under the supervision of Éric Fabre at IRISA, Rennes, France.

**Research Interests**:

• Model Checking and Verification of Distributed Systems
• Petri Nets and Unfolding Techniques
• Lazy Reachability Analysis
• Factored Planning and Optimal Algorithms
• Algorithm Design for Concurrent Systems

**Key Contributions**:

• Developed tools like Distoplan (for distributed optimal planning) and LaRA (lazy reachability analyzer)
• Co-organizer of the Model Checking Contest (MCC) since 2015 and SynCoP workshop since 2019
• Recipient of a PHC Procope grant for distributed model-checking research (2016–2017)

**Grants & Collaborations**:

• ANR project PACS
• Collaborations with Javier Esparza (Technische Universität München), Didier Lime (LS2N), and others

**Labs/Teams**: Active member of the Real-Time Systems group at LS2N and the MExICo team at LSV (Cachan).