Michael Blondin
  • Member for 4 years, 8 months
  • Last seen more than a month ago

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.
This user doesn’t have any silver badges yet.
bronze badges

This user hasn’t posted yet.