Skip to main content
Michael Blondin's user avatar
Michael Blondin's user avatar
Michael Blondin's user avatar
Michael Blondin
  • Member for 13 years, 11 months
  • Last seen more than a week ago
Stats
2,592
reputation
63k
reached
18
answers
0
questions
Loading…
About

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.

This user doesn’t have any gold badges yet.
21
silver badges
22
bronze badges
113
Score
8
Posts
44
Posts %
51
Score
2
Posts
11
Posts %
42
Score
2
Posts
11
Posts %
37
Score
2
Posts
11
Posts %
32
Score
3
Posts
17
Posts %
32
Score
3
Posts
17
Posts %
Top posts
View all questions and answers