Daniel Jackson is professor of computer science at MIT, a MacVicar teaching fellow and an associate director of the Computer Science and Artificial Intelligence Laboratory, where he leads the software design group. He is the lead designer of the Alloy modelling language and author of "Software Abstractions: Logic, Language, and Analysis" (MIT Press; 2nd ed. 2012).
Jackson was chair of the National Academies' study "Software for Dependable Systems: Sufficient Evidence?" (2007). His research currently focuses on a new approach to software design, new programming paradigms and cybersecurity.