The journal
Open the journal →The conversation starts in the journal — be the first to post.
About Daniel Jackson
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.
Everything about Daniel Jackson →- Occupation
- photographer, computer scientist, engineer, university teacher
- Citizenship
- United States
- Born
- 1963