101
reputation
3

Michael Blondin

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

My research lies at the intersection of formal methods and theoretical computer science. My interests include formal verification, model checking of concurrent and distributed systems, computational complexity theory, automata theory, logic and verification tools.