people

Alloy is a product of the Software Design Group at MIT.

Alloy Team Members

Daniel Jackson
Project director
Aleksandar Milicevic
Lead developer & Master guru
Emina Torlak
Developer, Kodkod engine
Eunsuk Kang
General guru
Joe Near
General guru

Former Team Members

Major contributions to earlier versions of Alloy were made by: Jonathan Edwards, Robert Seater, Derek Rayside, Greg Dennis, Ilya Shlyakhter, Mana Taghdiri, Mandana Vaziri, Sarfraz Khurshid, and Manu Sridharan.