2,492
reputation
18
21

Michael Blondin
Loading…

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.

18
answers
0
questions
~58k
people reached

Top tags (32)

Score 109
Posts 8
Posts % 44
Score 50
Posts 2
Score 41
Posts 2
Score 37
Posts 2
Score 31
Posts 3
Score 31
Posts 3

Top posts (18)

View all questions and answers

Badges (39)

Gold

Silver

18

Rarest

Bronze

21

Rarest