Aller au contenu

Michael Blondin

Professeur adjoint

Page personnelle

Coordonnées

Courriel : Michael.Blondin@USherbrooke.ca 
Téléphone : 819 821-8000, poste 66491
Télécopieur : 819 821-8200
Local : D4-1024-1

Formation

  • M. Sc. Informatique, Université de Montréal (2012)
  • Ph. D. Informatique, ENS Paris-Saclay et Université de Montréal (cotutelle) (2016)
  • Postdoctorat, Université technique de Munich (2016 – 2018)

Thèmes de recherche

  • Vérification formelle
  • Informatique théorique
  • Model checking
  • Systèmes concurrents
  • Théorie des automates 

Recherches actuelles

  • Étude des fondements de la vérification formelle
  • Model checking de systèmes concurrents et distribués
  • Complexité calculatoire et décidabilité de problèmes de vérification
  • Conception d'algorithmes et d'outils de vérification formelle 

Publications

Publications de Pr Michael Blondin