software design group

Felix Chang was a PhD student in SDG, and the main developer of Alloy 4. He is currently working at Google.

Felix Chang's early background was on hardware systems and formal verification. He completed his M.Sc. in the University of British Columbia. After working in an Intel Research lab, he decided to pursue a Ph.D. in MIT.

email: fschang@csail.mit.edu