Michael Blondin
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.
-
Sherbrooke, QC, Canada
-
Member for 10 years, 8 months
-
680 profile views
-
Last seen Apr 12 at 13:12
Communities (8)
Top network posts
Badges (39)
Gold
Silver
Rarest
-
Jul 3 '18
-
Oct 25 '10
Bronze
Rarest
-
Sep 30 '14
-
Jan 17 '15
-
Jan 14 '18