The Stack Overflow podcast is back! Listen to an interview with our new CEO.
2,482
reputation
16
21

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
~50k
people reached

Top tags (32)

Score 108
Posts 8
Posts % 44
Score 50
Posts 2
Score 40
Posts 2
Score 37
Posts 2
Score 31
Posts 3
Score 31
Posts 3

Top posts (18) All Questions Answers | Votes Newest

View all questions and answers

Badges (37)

Gold

Silver

16

Rarest

Bronze

21

Rarest