Faculty and Researchers

Daniel Jackson

Faculty Director, MIT-MEET Program
Professor, Electrical Engineering & Computer Science
Daniel Jackson

Daniel Jackson is professor of computer science at MIT, and associate director of CSAIL. For his research in software, he won the ACM SIGSOFT Impact Award, the ACM SIGSOFT Outstanding Research Award and was made an ACM Fellow.

He is the lead designer of the Alloy modeling language, and author of Software Abstractions. He chaired a National Academies study on software dependability, and has collaborated on software projects with NASA on air-traffic control, with Massachusetts General Hospital on proton therapy, and with Toyota on autonomous cars.

His most recent book, Essence of Software, offers a fresh approach to software design, and shows how thinking about software in terms of concepts and their relationships can lead to more usable and effective software.

Expertise
International education
Electrical engineering and computer science
Human-computer interaction
Programming languages and software engineering
Big data
Cybersecurity