Michael Blondin's user avatar
Michael Blondin's user avatar
Michael Blondin's user avatar
Michael Blondin
  • Member for 10 years, 6 months
  • Last seen more than 2 years ago
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.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts