For most information see my University of Waterloo homepage.

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

JSpecify aims to define standard Java annotations for static analysis.

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

Please address your questions and comments to Werner Dietl.