I'm broadly interested in applying computer science as a formal mathematical theory (be it programming language semantics, category theory, logic etc...) to practical problems. I believe that the techniques used in the study of computation can be applied to many areas. I'm currently interested in using the fully abstract denotational models provided by game semantics to improve (and expand the scope of) static analysis and formal verification. My PhD project centers around the formal semantics of aspect oriented languages, and how they relate to those of previous paradigms. I am also interested in concurrency theory, and the analysis of security protocols, which is what I devoted my Master's level research to. This work took place in the Sable Lab at McGill University in Montreal, Canada.
