Werner Dietl

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

• 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

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

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

• 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