 |
|
||||||||||
Werner M. Dietl
Werner Dietl
Overview
I used to be a research and teaching assistant at the Chair of Programming Methodology, working on my doctoral thesis under the supervision of Peter Müller.
Areas of research
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.
Contact
For the latest information please visit my new homepage at the University of Washington, Seattle.
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information
