Ilya Shlyakhter
Ilya is a PhD student in SDG. He has worked on the development of much of the back end technology of Alloy.
email: ilya_shl@mit.edu
url:
http://sdg.lcs.mit.edu/~ilya_shl/
Computer Science and Artificial Intelligence Laboratory
Ilya is a PhD student in SDG. He has worked on the development of much of the back end technology of Alloy.
email: ilya_shl@mit.edu
url:
http://sdg.lcs.mit.edu/~ilya_shl/