Michael Blondin
Stats
2,502
reputation
58k
reached
18
answers
0
questions
Loading…
About

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.

This user doesn’t have any gold badges yet.
19
silver badges
22
bronze badges
110
Score
8
Posts
44
Posts %
50
Score
2
Posts
11
Posts %
41
Score
2
Posts
11
Posts %
37
Score
2
Posts
11
Posts %
31
Score
3
Posts
17
Posts %
31
Score
3
Posts
17
Posts %
Top posts
View all questions and answers