Werner Dietl at the University of Waterloo

Werner Dietl

Electrical and Computer Engineering, University of Waterloo

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

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.

Light-weight, optional type systems: EISOP Checker Framework; Live Demo!
JSpecify: Standard Java Annotations for Static Analysis
Independent Director and member of the Language and Education Committees, Kotlin Foundation
Type inference for optional type systems
Ownership type systems

I am a JavaOne Rockstar speaker for presentations at JavaOne 2016 and JavaOne 2017.

A 2017 Interview describing my work.

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

Complete list of supervised students.

CV.

In October 2023 I was a Guest Professor at the Faculty of Informatics at TU Wien in Vienna, Austria. I gave a public lecture and taught a course on Program Analysis.

From May to August 2023 I was an International Excellence Fellow at the Karlsruhe Institute of Technology (KIT) in Karlsruhe, Germany.

Since May 2023 I am a Professional Licensee Engineering (P.L.Eng.) (Non-Practising) with the Engineers and Geoscientists BC.

From January to July 2017 I was a full-time Visiting Researcher at Google in Mountain View. From October 2018 to October 2020 and from November 2023 to May 2024 I was a part-time consultant at Google Canada, as a Visiting Faculty Researcher, remotely working with the Java team 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.