Werner Dietl

Yet Another Homepage

Werner Dietl

University of Waterloo

For most information see my University of Waterloo homepage.

EISOP Framework

The Enforcing, Inferring, and Synthesizing Optional Properties (EISOP) Framework project aims to provide a unified framework for optional properties in Java.

JSpecify

JSpecify aims to define standard Java annotations for static analysis.

Kotlin Foundation Language Committee

I am an Independent Director of the Kotlin Foundation and serve on the Language Committee.

Contact

Please address your questions and comments to Werner Dietl.