ITA Software's Technical Seminar Series

Talk Topic: Alloy Analyzer
Daniel Jackson, MIT CSAIL
November 19, 2008

Abstract

Professor Daniel Jackson will give a talk about Alloy Analyzer, a lightweight modeling language for software design.  

Bio

Professor Daniel Jackson is a member of the Software Design Group at MIT's CSAIL (Computer Science and Artificial Intelligence Laboratory).

He is interested in finding ways to make software more dependable and easier to use, and to reduce the cost of development. His research to date has focused on lightweight formal methods, in particular Alloy, a language for modeling software that is supported by a fully automatic analyzer based on SAT.

Jackson is currently working with his students on design analysis, checking code against designs, generating code from models, constructing end-to-end dependability cases, automatic test case generation, and storage leak detection.