Associate Professor

Contact InformationWerner Dietl

Website

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
  • 2000, Master of Science, Computer Science, Bowling Green State University
  • 1999, Diplom-Ingenieur, Applied Computer Science and Business, Salzburg University

Courses*

  • 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.

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), 33(6), 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