Design and Conformance of Air-Traffic Control
Software Design Group
MIT
Laboratory for Computer Science
Faculty
Daniel Jackson
Martin Rinard
Graduate Students
Sarfraz Khurshid
Viktor Kuncak
Darko Marinov
Mandana Vaziri
Undergraduate Students
Greg Dennis
Emina Torlak