Professor of Computer Science at MIT. Principal designer of the Alloy modeling language and author of the book Software Abstractions: Logic, Language, and Analysis.
