Associate professor of computer science at the Université de Sherbrooke (Canada).

My research lies around the intersection of theoretical computer science and formal methods. My interests revolve around algorithmic verification, automata theory, concurrent and distributed systems, computational complexity theory and logic.