Werner M. Dietl

		Mailing address Werner M. Dietl Chair of Programming Methodology ETH Zentrum, RZ F9 8092 Zurich		Physical address Werner M. Dietl Department of Computer Science RZ Building, RZ F9 Clausiusstrasse 59 8092 Zurich		Contact Werner M. Dietl Phone: +41 44 632 79 42 Fax: +41 44 632 14 35 E-mail: werner.dietl@inf.ethz.ch This page: http://pm.inf.ethz.ch/people/dietl/

I am a research and teaching assistant at the Chair of Programming Methodology, working on my doctoral thesis under the supervision of Peter Müller.

Trusted components; Object-Oriented type systems, especially the Universe type system and other ownership type systems; Language support for program verificaton; MultiJava, Java Modeling Language, ...

For more information see the research page.

My CV, including publications, teaching, and project supervision.