Rethinking Concepts in Software Design with Daniel Jackson

In this episode

Professor Daniel Jackson of MIT CSAIL is working on a number of projects to make software more usable, reliable, and secure. By rethinking the fundamentals of software design, he says that developers can ultimately give more flexibility to users in the structure and organization of software, as well as meet more user needs.

Please view the transcript for the podcast here.

About the speakers

Professor, MIT EECS
Associate Director, MIT CSAIL

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.