MIT/LCS Systematic Program Development Group

Research in the Systematic Program Development Group is supported in part by the following grants and organizations:

An Architecture for Customizable Interactive Texts
ARPA Contract No. N66001-95-C-8613
10/01/95 through 09/31/97

Architecture for Component-Based Security Engineering
pending ARPA contract

Automated Reasoning in Software Engineering
NSF Grant No. CCR-9504248
08/01/95 through 07/31/98

Equipment Grant: Intel Foundation

Equipment Grant: DEC External Research Program

Software Grant: Microsoft