American computer scientist
Verify ownership in 2 minutes. Keeps the profile accurate and discoverable.
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.
No platforms connected yet.
Claim this profile to add yours →The six component signals behind the Fame score, and their ranks across the leaderboards.
Similar profiles worth watching