Chercheur postdoctoral CRSNG, 2023
Université McGill
Ph.D. en Informatique, 2021
Université Carnegie Mellon
M.Sc. en Informatique — Recherche, 2018
Université Carnegie Mellon
Professeur à l’UQAM depuis 2023.
My principaux intérêts de recherche portent sur les langages de programmation, avec une emphase sur les fondements logiques des systèmes concurrents et quantiques.