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.