Prof. Daniel Jackson
Daniel Jackson is Professor of Computer Science at the Massachusetts Institute of Technology. He received an MA from Oxford University (1984) in Physics, and an SM (1988) and PhD (1992) from MIT in Computer Science. He was a software engineer for Logica UK Ltd. (1984-1986), and Assistant Professor of Computer Science at Carnegie Mellon University (1992-1997). He has broad interests in many areas of software engineering, especially in specification and design, critical systems, formal methods, static analysis and model checking. He is the principle designer of the Alloy modelling language, author of "Software Abstractions: Logic, Language, and Analysis" (MIT Press, 2006), and was recently chair of a study entitled "Software for Dependable Systems: Sufficient Evidence?" (National Academies, May 2007).
email: dnj@csail.mit.edu
url:
http://people.csail.mit.edu/dnj/