Michael Blondin
  • Member for 7 years, 1 month
  • Last seen more than 6 years ago
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.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.