Yet Another Homepage
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.