Daniel Jackson (computer scientist)
Daniel Jackson | |
|---|---|
| Alma mater | |
| Occupation | Computer scientist |
| Known for | Lightweight formal methods, and the Alloy specification language |
| Scientific career | |
| Institutions | Massachusetts Institute of Technology |
| Doctoral advisor | John Guttag |
Daniel Jackson (born 1963) 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.