PI
Core/Dual

Daniel Jackson

Professor

Phone

258-8471

Room

32-G704

Daniel Jackson is a professor in the Department of Electrical Engineering and Computer Science, and leads the Software Design Group in the Computer Science and Artificial Intelligence Laboratory. He received an MA from Oxford University (1984) in Physics, and his SM (1988) and PhD (1992) from MIT in Computer Science. He was a software engineer for Logica UK Ltd. (1984-1986), Assistant Professor of Computer Science at Carnegie Mellon University (1992-1997), and has been at MIT since 1997.

He has broad interests in software engineering, especially in development methods, design and specification, formal methods, and safety critical systems.

Projects

Project

(Re)Thinking Software Design

Our goal is to develop a theory of software design focused on the conceptual structure that underlies software. Key threads include developing suitable diagrammatic notations; articulation of design criteria; and reworking existing applications like Git.

Project

Déjà Vu: Constructing Apps from Clichés

Déjà Vu is a new platform for end-user development of apps with rich functionality. It features a novel theory of modularity for binding concepts; an extensive library of reusable concepts; and a WYSIWYG tool for specifying bindings and customizing visual layout

 4 More

Groups