Biography:Daniel Jackson (computer scientist)
Daniel Jackson | |
|---|---|
| Alma mater | |
| 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 book Software Abstractions: Logic, Language, and Analysis.[1]
Biography
Jackson was born in London, England, in 1963.[2] He studied physics at the University of Oxford, receiving an MA in 1984. After completing his MA, Jackson worked for two years as a software engineer at Logica UK Ltd. He then returned to academia to study computer science at MIT, where he received an SM in 1988, and a PhD in 1992. Following the completion of his doctorate Jackson took up a position as an Assistant Professor of Computer Science at Carnegie Mellon University, which he held until 1997.[3] He has been on the faculty of the Department of Electrical Engineering and Computer Science at MIT since 1997. In 2017 he became a Fellow of the Association for Computing Machinery.[4]
Jackson is also a photographer, and has an interest in the straight photography style. The MIT Museum commissioned a series of photographs of MIT laboratories from him, displayed from May to December 2012, to accompany an exhibit of images by Berenice Abbott. Jackson is the son of software engineering researcher Michael A. Jackson,[5] developer of Jackson Structured Programming (JSP), Jackson System Development (JSD), and the Problem Frames Approach.
Research
Jackson's research is broadly concerned with improving the dependability of software. He is a proponent of lightweight formal methods.[6] Jackson and his students developed the Alloy language and its associated Alloy Analyzer analysis tool to provide support for lightweight specification and modelling efforts.[7]
Between 2004 and 2007, Jackson chaired a multi-year United States National Research Council study on dependable systems.[8]
Selected publications
- Jackson, Daniel, ed (May 2007). Software for Dependable Systems: Sufficient Evidence?. Washington, DC: The National Academies Press. doi:10.17226/11923. ISBN 978-0-309-10394-7. http://www.nap.edu/catalog.php?record_id=11923.
- Jackson, Daniel (April 2006). Software Abstractions: Logic, Language, and Analysis. Cambridge, MA: MIT Press. ISBN 978-0-262-10114-1. http://www.softwareabstractions.org/. Retrieved 10 January 2009.
- Jackson, Daniel (June 2006). "Dependable Software by Design". Scientific American 294 (6): 68–75. doi:10.1038/scientificamerican0606-68. PMID 16711362. Bibcode: 2006SciAm.294f..68J. http://www.sciam.com/article.cfm?id=dependable-software-by-de.
- Jackson, Daniel (April 2002). "Alloy: A Lightweight Object Modelling Notation". ACM Transactions on Software Engineering and Methodology 11 (2): 256–290. doi:10.1145/505145.505149. http://people.csail.mit.edu/dnj/publications/alloy-journal.pdf.
References
- ↑ Jackson, Daniel (April 2006). Software Abstractions: Logic, Language, and Analysis. Cambridge, MA: MIT Press. ISBN 978-0-262-10114-1. http://www.softwareabstractions.org/. Retrieved 10 January 2009.
- ↑ Jackson, Daniel. "DANIEL JACKSON". Straight Photography by Daniel Jackson. http://straightphotography.org/articles/bio.html.
- ↑ "Prof. Daniel Jackson". CSAIL Software Design Group. http://sdg.csail.mit.edu/people/dnj.html.
- ↑ Cacm Staff (March 2017), "ACM Recognizes New Fellows", Communications of the ACM 60 (3): 23, doi:10.1145/3039921.
- ↑ Jackson, Daniel. "Daniel Jackson". CSAIL Faculty Pages. http://people.csail.mit.edu/dnj/.
- ↑ Jackson, Daniel (April 1996). Saiedian, Hossein. ed. "An Invitation to Formal Methods : Lightweight Formal Methods". IEEE Computer 29 (4): 16. doi:10.1109/MC.1996.488298. http://people.csail.mit.edu/dnj/publications/ieee96-roundtable.html.
- ↑ Jackson, Daniel (April 2002). "Alloy: A Lightweight Object Modelling Notation". ACM Transactions on Software Engineering and Methodology 11 (2): 256–290. doi:10.1145/505145.505149. http://people.csail.mit.edu/dnj/publications/alloy-journal.pdf.
- ↑ "Sufficient Evidence? Building Certifiably Dependable Systems". Computer Science and Telecommunications Board. The National Academies. http://sites.nationalacademies.org/cstb/CompletedProjects/CSTB_042247.
External links
- Daniel Jackson MIT home page
- Daniel Jackson photography website
- {{DBLP}} template missing ID and not present in Wikidata.
 |  |
