Professor Daniel Jackson
title:
Professor of Computer Science and Engineering
research interests:
Software design and specification; design methods, tools and analysis; dependability; safety-critical systems; reverse engineering; static analysis, model checking, programming languages.