Daniel Jackson

Associate Director, MIT Computing and AI Lab (CSAIL), ACM Fellow

Daniel Jackson is the Associate Director of the MIT Computing and AI Lab (CSAIL) and a Professor of Computer Science. He has received the ACM SIGSOFT Impact Award and the ACM SIGSOFT Distinguished Research Award for his research in software, and has been named an ACM Fellow. He is the principal designer of the Alloy modeling language, has served as chair of the Software Reliability Research Program at the National Academy of Sciences, and has worked with NASA on software projects such as air traffic control, proton therapy at Massachusetts General Hospital, and Toyota self-driving cars. He is represented by Software Abstraction and Elements of Software Design.