About
I’m a PhD student at McGill University’s School of Computer Science. My supervisor is the one and only Christophe Dubach. I am also affiliated with Mila.
My research interests include optimizing compilers and the application of reinforcement learning (RL), graph neural networks (GNNs), formal verification, and counter-example inductive synthesis (CEGIS) thereto. My thesis topic is to reimagine optimizing compilers from scratch to quickly generate excellent code for complex hardware such as accelerators. I think that all of the aforementioned technologies (RL, GNNs, formal verification, CEGIS) will play a part in helping accomplish that goal.