I am a M.Sc. student at the University of Toronto studying formal methods and software engineering. I grew up in Toronto but I obtained my B.Math in computer science, combinatorics, and optimization at the University of Waterloo.
During the summer of 2011, I was a research assistant in the WatForm research group at the University of Waterloo, working on finding feature interactions (conflicts) in requirements models.
I was an NSERC USRA at the University of Toronto for the summer of 2010. I worked on a project called JSCOOP, which attempts to simplify concurrent programming in Java by adding some new annotations.
My research and academic interests primarily focus on model driven engineering, formal methods, and software engineering. I am additionally interested in graph theory, cryptography and mathematics and computer science in general.