I am Werner Dietl, an associate professor in Electrical and Computer Engineering, University of Waterloo.

Contact information.

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’m a JavaOne Rockstar speaker.

A 2017 Interview describing my work.

Complete list of publications; Google Scholar profile; Semantic Scholar profile.

Complete list of supervised students.

CV.

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.

I acknowledge the support of the Natural Sciences and Engineering Research Council of Canada (NSERC).

In 2019 I received an Early Researcher Award from the Government of Ontario.

I gratefully received a Fall 2015 Google Research Award and financial support from Amazon Web Services.

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 2022:

Complete list of teaching activities.