I received my PhD from the David R. Cheriton School of Computer Science at University of Waterloo where I worked under the supervision of Prof. Ondrej Lhotak. My research focused on static program analysis of object oriented languages mainly directed towards verifying safety properties of programs. My PhD research leveraged tracematches, a construct for the AspectJ Programming Language. It has been noticed that although tracematches are a powerful construct for the language, they incur a considerable runtime penalty. I developed a flow-sensitive, context-sensitive inter-procedural analysis using the IFDS algorithm to reduce the runtime overhead of tracematches by removing un-necessary runtime monitoring instrumentations whenever the analysis was able to statically verify that the safety property was not violated.
I received my Master's degree in Computer Science from the School of Computer Science at McGill University. At McGill, I was part of the Sable Compiler Research Group, led by Laurie Hendren, who was also my supervisor. In my master's research I worked on a Java Decompiler, Dava, which is able to decompile arbitrary verifiable Java bytecode. Other research interests included obfuscators and measuring effectiveness of different decompilers and obfuscators.
I received a B.Sc. degree (Honors in Computer Science) from McGill Univeristy before starting graduate school. During my undergraduate work I was part of the Distributed Information Systems Lab, led by Prof. Bettina Kemme. For my undergraduate honors project I created ExpDB, in collaboration with the Macromolecular Structural Group, Biotechnology Research Institute, National Research Council of Canada.
Whether it is bad time management or that I get myself involved in too many activities I often find myself wishing that there were more hours in a day. Apart from my research I enjoy travelling, gardening, binge watching tv shows and reading spy novels. Until a few years ago I actively trained in Taekwondo and Karate. These days I occasionally play squash and pool. I like digital photography though haven't taken it up seriously. I enjoy good food and well-made coffee. I am interested in Embedded Systems as a hobby mostly geared towards home automation.