This site is currently broken for new queries. It seems like some bot hit it and we ran out of exa credits.
Enter your personal website to find others like you. Powered by Exa's "find similar". Built on Val Town.
I am an associate professor (maître de conférence) in computer science, with an interest in various topics of formal methods.
organizations focus on their core business.
Regarding research, my interests are in formal methods and software engineering in general, and runtime verification in particular.
This is often too restrictive for pratical purposes.
("ATER" in Fench) in the same department, doing my research in the same team.
The practical focus of my research is how to prove software correct.
You can get my CV (in French) if you click here.
I work at the interface between Computer Science and Mathematics, in various topics in data structures and algorithms, that are linked by the presenc…
My research there focused on weak distributive laws and their application to computer science, e.g.