Werner Dietl

Werner Dietl
Associate Professor

Biography

Dr. Werner Dietl is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. His research focuses on safe and productive software development, combining theoretical insights with practical tools to help developers create high-quality, trustworthy software and minimize the impact of software defects. Dr. Dietl works at the intersection of programming languages, software engineering, verification, security, and systems, collaborating with experts in these areas to address the complex challenges in modern software development.

Research Interests

  • Programming languages
  • Software engineering
  • Software correctness and robustness
  • Dependability
  • Cybersecurity
  • Internet of Things

Education

  • 2009, Doctorate Technical Sciences, Swiss Federal Institute of Technology, Switzerland
  • 2000, Master of Science Computer Science, Bowling Green State University, U.S.A
  • 1999, Diplom-Ingenieur Applied Computer Science and Business, Salzburg University, Austria

Teaching*

  • CS 247 - Software Engineering Principles
    • Taught in 2021
  • ECE 150 - Fundamentals of Programming
    • Taught in 2020, 2021, 2022, 2024
  • ECE 653 - Software Testing, Quality Assurance and Maintenance
    • Taught in 2024, 2025
  • ECE 654 - Software Reliability Engineering
    • Taught in 2021, 2023, 2024
  • SE 464 - Software Design and Architectures
    • Taught in 2020, 2021, 2022

* Only courses taught in the past 5 years are displayed.

Selected/Recent Publications

  • Barros, Paulo and Just, René and Millstein, Suzanne and Vines, Paul and Dietl, Werner and d’Amorim, Marcelo and Ernst, Michael D, Static analysis of implicit control flow: Resolving Java reflection and Android intents (extended version), University of Washington Department of Computer Science and Engineering, Seattle, WA, USA, Tech. Rep. UW-CSE-15-08-01, , 2015
  • Dietl, Werner and Drossopoulou, Sophia and Müller, Peter, Separating ownership topology and encapsulation with generic universe types, ACM Transactions on Programming Languages and Systems (TOPLAS), 20, 2011
  • Dietl, Werner and Ernst, Michael and Müller, Peter, Tunable Universe Type Inference Technical Report 659 Department of Computer Science, ETH Zurich, , , 2009
  • Dietl, Werner and Müller, Peter, Ownership type systems and dependent classes, Foundations of Object-Oriented Languages (FOOL), , 2008
  • Cunningham, Dave and Dietl, Werner and Drossopoulou, Sophia and Francalanza, Adrian and Müller, Peter, UJ: Type Soundness for Universe Types, development, , 2007

Graduate studies