Computer Science and Artificial Intelligence Laboratory
Kuat is an undergraduate at MIT. He has been working with Greg Dennis on an automatic translation from JML to Forge, enabling more expressive analysis of Java code.
email: kuat@mit.edu