Daniel Jackson (computer scientist)
Daniel N. Jackson (* 1963 ) is Professor of Computer Science at the Massachusetts Institute of Technology (MIT). It is the driving force behind the modeling language Alloy and the Alloy Analyzer . Daniel Jackson's most important book is Software Abstractions: Logic, Language and Analysis.
biography
Daniel Jackson was born in London in 1963. His father is the computer scientist Michael Jackson , who is known for his fundamental contributions to topics of software engineering.
Daniel studied physics at Oxford University and received a Master of Arts (Oxbridge and Dublin) in 1984. After completing his MA, Jackson worked as a software engineer at Logica UK Ltd. for two years. He then returned to university to study computer science at MIT, where he received a Master of Science degree in 1988 and a PhD in 1992. After completing his PhD until 1997, Jackson was an assistant professor of computer science at Carnegie Mellon University. Since 1997 he has been working at MIT in the Faculty of Electrical Engineering and Computer Science. In 2017, Jackson became a Fellow of the Association for Computing Machinery .
Jackson is also a photographer. The MIT Museum commissioned him to produce a series of photographs from MIT laboratories that were exhibited from May to December 2012 at an exhibition of Berenice Abbott's paintings.
Area of Expertise
Jackson's research focuses on the correctness of specifications and the reliability of software. He is an advocate of lightweight formal methods . Together with his students, he developed the formal modeling language Alloy and the Alloy Analyzer , which can be seen as a concept and tool of agile modeling .
Between 2004 and 2007, Jackson led a multi-year study by the United States National Research Council on reliable systems.
Selected publications
- Daniel Jackson: Software Abstractions: Logic, Language, and Analysis . MIT Press, 2012.
- Daniel Jackson: Dependable Software by Design . , Scientific American , June 2006
- Daniel Jackson: Alloy: A Language and Tool for Exploring Software Designs in: Communications of the ACM , September 2019
Web links
- Daniel Jackson's personal website at MIT
- Homepage of Alloy and Alloy Analyzer at MIT
- Daniel Jackson Photography
Individual evidence
- ^ Daniel Jackson: Software Abstractions: Logic, Language, and Analysis . MIT Press, Cambridge, Massachusetts.
- ^ ACM Recognizes New Fellows. in: Communications of the ACM , Volume 60, Issue 3, March 2017. ACM Digital Library
- ^ Daniel Jackson Photography
- ↑ Sufficient Evidence? Building Certifiably Dependable Systems Computer Science and Telecommunications Board .The National Academies
| personal data | |
|---|---|
| SURNAME | Jackson, Daniel |
| ALTERNATIVE NAMES | Jackson, Daniel N. |
| BRIEF DESCRIPTION | Professor of Computer Science at the Massachusetts Institute of Technology (MIT) |
| DATE OF BIRTH | 1963 |