MIT EECS title bar
MIT EECS Professor Daniel Jackson

 

Professor Daniel Jackson

 
Affiliated lab(s): CSAIL
email: dnj@csail.mit.edu  
phone: (617) 258-8471  
address: MIT Stata Center, 32-G704

title:

Professor of Computer Science and Engineering

 

url:

 
http://www.csail.mit.edu/biographies/PI/bioprint.php?PeopleID=166
 

research interests:

 
   

Software design and specification; design methods, tools and analysis; dependability; safety-critical systems; reverse engineering; static analysis, model checking, programming languages.

 

Faculty Gallery | Faculty site | EECS | MIT campus maps