Assistant 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 include formal verification, automata theory, model checking of concurrent and distributed systems, computational complexity theory, logic and verification tools. ©