Werner M. Dietl

Home

This is the homepage of Werner M. Dietl.
I am a research associate at Computer Science & Engineering, University of Washington, where I work mostly with Prof. Michael D. Ernst. I am a member of the SE.CS and WASP research groups.
Previously, 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.

I'm on the job market for summer/fall 2013!

• All-in-one application package
• Curriculum Vitae (PDF)
• Research statement (PDF)
• Teaching statement (PDF)
• Publications (PDF, HTML)
  also see Google Scholar, DBLP, and CiteSeerX
• Student project supervision (PDF, HTML)
• Teaching (PDF, HTML)

Contact information.

Calls for Papers

Please submit your best work to the following events:

• Formal Techniques for Java-like Programs (FTfJP) 2013
• Workshop on Developing Tools as Plug-ins (TOPI) 2013

Research Interests

My research agenda is to provide developers with sound help in eliminating latent defects. 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.

• Pluggable type checkers
• Ownership type systems, in particular Universe Types
• Type inference for pluggable type checkers
• Verification Games
• Android security
• Language support for program verification, trusted components, MultiJava and the Java Modeling Language

Other Sites by or About Me

• My Google Site
• Google Profile
• Chair of Programming Methodology, ETH Zurich (old)
• Software Component Technology Group (old)

Werner M. Dietl Contact Information [comments to wmdietl]