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
Currently considering applications from graduate students. A completed online application is required for admission; start the application process now.