Principal Investigator Daniel Jackson
The goal of this project is to synthesize distributed applications from declarative event-based specifications.