Daniel jackson photographer biography
Daniel jackson football!
Daniel jackson photos
Daniel Jackson (computer scientist)
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.
Biography
Jackson was born in London, England, in 1963.[3] 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.[4] H