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.