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 (for which he has two patents pending).
Jackson has consulted for many companies, including Accenture, AIG, AT&T, Fujitsu and Teradyne. He has mentored startups for the Center for MIT Entrepreneurship, and has given talks to developers worldwide. Developers from 500 companies have watched his videos on UX design, and more than 2,000 students have taken his courses on programming and software design at MIT.
Jackson is also a photographer.