Computer Science and Artificial Intelligence Laboratory

Kuat Yessenov

[kuat]

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