Daniel Jackson is professor of computer science and associate director of CSAIL, MIT’s largest lab. His software research won an Impact Award and Outstanding Research Award from the Association for Computing Machinery, and he is an ACM Fellow. He is lead designer of the Alloy software modeling language. 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. Jackson is also a photographer. His book, Portraits of Resilience, which combines stories and photographic portraits of people who had experienced mental health challenges, was featured on PBS's Newshour and NPR’s Here and Now.
