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


From January to July 2017 I was a Visiting Researcher at Google. 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 and financial support from Amazon Web Services.

I’m a JavaOne Rockstar speaker.

Previous projects

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.

Upcoming talks

Recent talks

  • Code One 2018

    • Implement your own type system, today!

    • Preventing Errors Before They Happen - The Checker Framework (Tutorial)

    • Using Type Annotations to Improve Your Code (Birds-of-a-Feather)

Students

  • Weitian Xing (MASc), since May 2019

  • Jiangqi Zhang (MEng assistant), since January 2019

  • Puneet Gill (MASc, co-supervised with Mahesh V. Tripunitara), since January 2019

  • Jenny Xiang (MASc), since May 2018

  • Jeff Luo (PhD), since June 2014

Teaching

Spring 2019:

More information

 


 

Archive