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.
Table of Contents
- 1 Biography
- 1.1 Fallen Tigers: The Fate of America's Missing Airmen in China during World War II (Aviation and Air Power)
- 1.2 Software Abstractions, revised edition: Logic, Language, and Analysis (The MIT Press)
- 1.3 Portraits of Resilience (The MIT Press)
- 1.4 Famine, Sword, and Fire: The Liberation of Southwest China in World War II
- 1.5 Daniel Tiger's Neighborhood: Tiger Family Trip
- 1.6 ILLBORN
- 1.7 Daniel Jackson [Explicit]
- 1.8 Jackson Universe Sg1 Tealc Carter Oneill Daniel Atlantis Stargate Best Mug holds hand 11oz made from White marble ceramic
- 1.9 The Librarian, Her Daughter and The Man Who Lost His Head (The Jackson Blackhawk Series Book 2)
- 1.10 Daniel's Allergy/Allergies at School
Biography
Jackson was born in London, England, in 1963.
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 later returned to academia to chemical analysis computer science at MIT, where he expected an SM in 1988, and a PhD in 1992. Following the completion of his doctorate Jackson took occurring a point of view as an Assistant Professor of Computer Science at Carnegie Mellon University, which he held until 1997. He has been upon the skill of the Department of Electrical Engineering and Computer Science at MIT in the past 1997.
In 2017 he became a Fellow of the Association for Computing Machinery.
Jackson is as well as a photographer, and has an inclusion 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 scholarly Michael A. Jackson, developer of Jackson Structured Programming (JSP), Jackson System Development (JSD), and the Problem Frames Approach.
Last update 2021-08-06