Back to Faculty/Researchers

Prof. Daniel N Jackson

Professor of Electrical Engineering and Computer Science
Associate Director, Computer Science and Artificial Intelligence Laboratory (CSAIL)
Director, Middle East Education Through Technology (MISTI MIT-MEET)

Primary DLC

Department of Electrical Engineering and Computer Science

MIT Room: 32-G704
(617) 258-8471

Areas of Interest and Expertise

Software Design and Specification
Design Methods
Tools and Analysis
Software Engineering
Notations for Design
Tools for Automatic Analysis of Designs
Tools for Reverse Engineering of Code
Development Methods
Static Analysis, Model Checking, Programming Languages and Semantics
Cybersecurity
Dependability<br>Safety-Critical Systems

Research Summary

Professor Jackson is interested in finding ways to make software more dependable and easier to use, and to reduce the cost of development. His research to date has focused on lightweight formal methods, in particular Alloy, a language for modelling software that is supported by a fully automatic analyzer based on SAT. Jackson is currently working with his students on design analysis, checking code against designs, generating code from models, constructing end-to-end dependability cases, automatic test case generation, and storage leak detection.

Recent Work

Related Faculty

Prof. Guy Bresler

Associate Professor of Electrical Engineering and Computer Science

John Haeseon Lee

Graduate Student

Prof. Gerald J Sussman

Panasonic Professor of Electrical Engineering