NSERC Postdoctoral Fellow, 2023
McGill University
Ph.D. in Computer Science, 2021
Carnegie Mellon University
M.Sc. in Computer Science — Research, 2018
Carnegie Mellon University
Professor at UQAM since 2023.
My main research interests are in language-based security, with a focus on logical foundations for concurrent and quantum systems.