Mathieu Laurent

Ph.D student in computer science (INRIA Rennes)

Random Image

An otter a day keeps the doctor away

About me

I am currectly a Ph.D student at INRIA Rennes (France) on the efficient verification of asynchronous distributed systems. I am supervised by Martin Quinson and Thierry Jéron, and part of both Magellan and Devine teams. Before that, I was a student at the informatic department of the ENS Rennes.

Research interests

I am mostly interested in verification methods for program. This goes from model checking, which I am more familiar with, to things like fuzzing, proof assistants or abstract interpretation. I really enjoy developping tools implementing theoretical methods as it helps understanding many aspects of them. I have, for instance, been working quite a much on Mc SimGrid, a dynamic model checker running over the SimGrid simulator, since the beginning of my Ph.D thesis.

Teaching

I am professeur agrégé in computer science since 2022. I don't know yet if I will use that title and teach at highschool or classe préparatoire, but I am definitely into transmitting. Explaining concepts, creating new exercices and coding pedagogical ressources take a non-negligeable part of my time.