This is the homepage of Werner M. Dietl. I am an assistant professor in Electrical and Computer Engineering, University of Waterloo.

Since January 2017 I am on leave from the University and am a Visiting Researcher at Google. I will be back at Waterloo in August 2017. As always, email is the best way to reach me.

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.

Research Interests

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.

I gratefully received a Fall 2015 Google Research Award!

Previous projects:

Calls for Proposals

Upcoming talks

Recent talks

  • JavaOne 2016

    • Preventing Errors Before They Happen (TUT3422); Slides

    • Disciplined Locking: No More Concurrency Errors (CON5739); Slides

    • Using Type Annotations to Improve Your Code (BOF3427); Slides

  • JAX 2016

    • Preventing Runtime Errors at Compile Time using the Checker Framework; Slides

    • Hands-on with the Checker Framework: Preventing Null Pointer Exceptions at Compile Time; Slides


  • Daniel Caccamo (MASc), since September 2016

  • Charles Zhuo Chen (MASc), since January 2016

  • Jason Jianchu Li (MASc), since May 2015

  • Jeff Luo (PhD), with Prof. Mahesh V. Tripunitara, since June 2014

  • Mier Ta (MASc), since January 2016

Past students at uWaterloo

  • Luqman Aden (USRA student), Fall 2016

  • Matthew D’Souza (URA student), Fall 2016

  • Steven Jia (URA student), Fall 2016

  • Andy Lee (URA student), Fall 2016

  • Fernando Pena (URA student), Fall 2016

  • Tony Wang (URA student), Fall 2016

  • Dan Brotherston (MMath), with Prof. Ondrej Lhotak, from May 2014 to April 2016

  • Shruti Dembla (URA student), Winter 2016

  • Nahid Juma (MASc), with Prof. Mahesh V. Tripunitara, from July 2014 to August 2015

Prospective students

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.


Fall 2016:

More information