Who's Who in
Sciences Academia

Michael Blondin

Academic Title: Assistant professor

Name: Michael Blondin

 

Department: Department of Computer Science

Department Website: https://www.usherbrooke.ca/informatique/personnel/corps-prof...

Institution: Universite de Sherbrooke

 

Address: 2500, boul. de l'Université
Sherbrooke,
Canada

 

Highest Degree:

Date of Degree:

Degree Institution:

 

E-mail: Contact by e-mail?

 

Expertise: Study of the foundations of formal verification
- Model checking of concurrent and distributed systems
- Computational complexity and decidability of verification problems
- Design of algorithms and formal verification tools

 

---

Start A New Search

If you are a faculty member and are not presently included in our Who's Who in Academia, you may submit a request to be added.

If you are currently included in our database and have previously established an account, you can update any of the information shown in your record.