Daniel Jackson, Massachusetts Institute of Technology
Associate Professor
Electrical Engineering and Computer Science
Cambridge, Massachusetts
dnj@csail.mit.edu
Office:
(617) 258-8471
Bio/Research
Daniel Jackson leads the Software Design Group in the Computer Science and Artificial Intelligence Laboratory. 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 sinc...
Click to Expand >>
Click to Expand >>
Bio/Research
Daniel Jackson leads the Software Design Group in the Computer Science and Artificial Intelligence Laboratory. 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.
Click to Shrink <<
Click to Shrink <<