Computer Science and Artificial Intelligence Laboratory

Kuat Yessenov

[kuat]

Kuat is an MEng student 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
url: http://mit.edu/~kuat/www