I'm running the lab of AURORAE (AUtomated pROgRam Analysis and tEsting). Our lab focuses on building various automated techniques to improve the reliability, security and trustworthiness of AI-driven software, video games, Android applications, IoT software, etc. My research has been made possible through the generous support of my sponsors: NSERC, FRQNT, Mitacs, Siemens Energy, PwC. I had the fortune of working with various students below.
| The page template is designed by W3layouts.