Daniel Jackson | |
|---|---|
&sq=&lang=&file=File:Daniel_Jackson_MIT_(crop)_01.jpg) | |
| 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[1] and The Essence of Software.[2] He leads the Software Design Group at MIT's Computer Science and Artificial Intelligence Laboratory.
- ^ Jackson, Daniel (April 2006). Software Abstractions: Logic, Language, and Analysis. Cambridge, MA: MIT Press. ISBN 978-0-262-10114-1. Retrieved 10 January 2009.
- ^ Jackson, Daniel (November 2021). The Essence of Software. Princeton University Press. ISBN 978-0-691-225-388. Retrieved 22 March 2024.