Daniel Jackson is a professor in the Department of Electrical Engineering and Computer Science, associate director of CSAIL, and a MacVicar Fellow. He leads the Software Design Group. He received an MA from Oxford University in Physics, and his SM and PhD from MIT in Computer Science. He was a software engineer for Logica UK Ltd. and Assistant Professor of Computer Science at Carnegie Mellon University before joining the MIT faculty in 1997.
He has broad interests in software engineering, especially in development methods, design and specification, formal methods, and safety critical systems.