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.
18
answers
0
questions
~56k
people reached
-
Sherbrooke, QC, Canada
-
Member for 10 years, 5 months
-
677 profile views
-
Last seen Jan 12 at 16:23
Communities (7)
Top network posts
Badges (39)
Gold
—
Silver
18
Rarest
-
Jul 3 '18
-
Oct 25 '10
Bronze
21
Rarest
-
Sep 30 '14
-
Jan 17 '15
-
Jan 14 '18