Previously, I worked with Prof. Michael D. Ernst and the SE.CS and WASP research groups at Computer Science & Engineering, University of Washington. Even earlier, I was a research and teaching assistant at the Chair of Programming Methodology, ETH Zurich, working on my doctoral thesis under the supervision of Prof. Peter Müller.
My research interests are in safe and productive software development. I combine theoretical results with practical tools so developers can create high-quality, trustworthy software and reduce the enormous impact of software defects. To achieve this goal, I combine my knowledge of programming languages and software engineering with the verification, security, and systems expertise of my collaborators.
Calls for Papers
Please submit your best work to the following event:
Calls for Participation
The Checker Framework: pluggable static analysis for Java at Tools for Automatic Program Analysis (TAPAS)
Jeff Luo (PhD), with Prof. Mahesh V. Tripunitara
Jason Jianchu Li (MASc)
Dan Brotherston (MMath), with Prof. Ondrej Lhotak
Past students at uWaterloo
Nahid Juma (MASc), with Prof. Mahesh V. Tripunitara
I’m looking for great students to grow my group!
If you’re already in Waterloo, contact me. Otherwise, follow the instructions given with the links above.