Daniel Jackson is a professor of computer science at the Massachusetts Institute of Technology (MIT). He is the principal designer of the Alloy modelling language, and author of the books Software Abstractions: Logic, Language, and Analysis and The Essence of Software. He leads the Software Design Group at MIT's Computer Science and Artificial Intelligence Laboratory.
- Occupation
- photographer, computer scientist, engineer, university teacher
- Citizenship
- United States
- Born
- 1963
