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

Michael Blondin, Javier Esparza, Antonín Kučera. Automatic Analysis of Expected Termination Time for Population Protocols. Proc. 29th International Conference on Concurrency Theory (CONCUR), 2018.

Michael Blondin, Alain Finkel, Pierre McKenzie. Handling Infinitely Branching Well-structured Transition Systems. Information and Computation, vol. 258, pp. 28–49, 2018.

Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer. Towards Efficient Verification of Population Protocols. Proc. 36th ACM Symposium on Principles of Distributed Computing (PODC), 2017.

Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad. The Logical View on Continuous Petri Nets. ACM Transactions on Computational Logic (TOCL), vol. 18, no. 3, pp. 24:1–24:28, 2017.