Daniel Jackson
Associate Professor of Electrical Engineering and Computer Science, MIT
Building Address: 32-G704
Email: dnj@csail.mit.edu
Phone: (617) 258-8471
Web: http://sdg.csail.mit.edu/~dnj/
Daniel Jackson is an Associate Professor in the Department of Electrical Engineering and Computer Science, and leads the Software Design Group in the Computer Science and Artificial Intelligence Laboratory. He received an MA from Oxford University (1984) in Physics, and his SM (1988) and PhD (1992) from MIT in Computer Science. He was a software engineer for Logica UK Ltd. (1984-1986), Assistant Professor of Computer Science at Carnegie Mellon University (1992-1997), and has been Associate Professor at MIT since 1997. He has sat on the editorial boards of ACM's Transactions on Programming Languages and Systems, and Transactions on Software Engineering and Methodology, and Springer Verlag's Software Tools for Technology Transfer, and has served on the programme committee of more than 20 international conferences, including FSE, ISSTA, OOPSLA and CAV. He is currently chairing a National Academies study on the certification of software.
He has broad interests in several areas of software construction, including development methods, automatic analysis of designs and specifications, and reverse engineering of code.
Click here for additional biography material.
