123
reputation
4

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.

0
answers
1
question
~511
people reached

Top tags (3)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1)

Badges (4)

Gold

Silver

Bronze

4

Rarest