Daniel Jackson
Professor of electrical engineering and computer science; MacVicar Faculty Fellow
areas of expertise: computing, dependability and critical systems, software development approaches, software design, programming languages
Daniel Jackson is professor of computer science at MIT and a MacVicar Teaching Fellow.
He is the lead designer of the Alloy modeling language, and author of Software Abstractions: Logic, Language, and Analysis (MIT Press, 2006). He was chair of a National Academies study titled Software for Dependable Systems: Sufficient Evidence? (National Academies, May 2007) and is currently serving on a National Academies study investigating unintended acceleration and electronic vehicle controls.
He received his MA from Oxford University in Physics, and SM and PhD from MIT in computer science, and has been a software engineer for Logica UK and Assistant Professor of Computer Science at Carnegie Mellon University.
He has broad interests in many areas of software engineering, especially in dependability and critical systems, in software design and specification, and in formal methods.
request an interview: Sarah McDonnell | 617-253-8923 | s_mcd@mit.edu