Werner Dietl
Assistant Professor
ELECTRICAL AND COMPUTER ENGINEERING
University of Waterloo
Canada
Biography
Werner M. Dietl. I am an assistant professor in Electrical and Computer Engineering, University of Waterloo. Since January 2017 I am on leave from the University and am a Visiting Researcher at Google. I will be back at Waterloo in August 2017. As always, email is the best way to reach me. 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.
Research Interest
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.
Publications
-
Leavens GT, Poll E, Clifton C, Cheon Y, Ruby C, Cok D, Müller P, Kiniry J, Chalin P, Zimmerman DM, Dietl W. JML reference manual. Draft revision. 2007 Feb;1:200.
-
Dietl W, Müller P. Universes: Lightweight Ownership for JML. Journal of Object Technology. 2005 Oct;4(8):5-32.
-
Sampson A, Dietl W, Fortuna E, Gnanapragasam D, Ceze L, Grossman D. EnerJ: Approximate data types for safe and general low-power computation. InACM SIGPLAN Notices 2011 Jun 4 (Vol. 46, No. 6, pp. 164-174). ACM.
