Primary Recipient

HARVARD COLLEGE, PRESIDENT & FELLOWS OF

Amount

$570,000.00

Award Date

7/01/2009

Administering Agency

National Science Foundation

CDFA Number

47.082

CDFA Program Title

Trans-NSF Recovery Act Reasearch Support

Description

Trustworthy Computing (TC): Large: Collaborative Research: Combining Foundational and Light weight Formal Methods to Build Certifiably Dependable Software. This National Science Foundation award is a part of a collaborative research with Princeton Univers