I am a PhD student at McGill University's School of Computer Science. My main interest is type theory and its applications in the design of programming languages. I am currently working on two projects. One is establishing theoretic foundations for safe meta-programming using modal type systems. The other studies interoperability between multiple languages through the lense of adjoint logic, focusing on interactions between simply-typed and dependently-typed languages.
Outside of work, I am either cooking (mostly bread), listening to music, or playing video games.