Grant: THE RESEARCH FOUNDATION OF STATE UNIVERSITY OF NEW YORK
Primary Recipient
THE RESEARCH FOUNDATION OF STATE UNIVERSITY OF NEW YORK
Amount
$1,858,340.00
Award Date
8/11/2009
Administering Agency
CDFA Number
47.082
CDFA Program Title
Trans-NSF Recovery Act Reasearch Support
Description
Summary: Formal Analysis of Complex Systems A Collaborative Proposal Involving CMU, CUNY, NYU, Stony Brook, UMD, Cornell, JPL This Expedition, under the directorship of Lead PI Edmund M. Clarke, will develop new computational tools to help scientists and
Recipients Connected to Award
| Recipient | Role | Amount |
|---|---|---|
| THE RESEARCH FOUNDATION OF STATE UNIVERSITY OF NEW YORK | Primary recipient | $1,603,416.00 |
| CORNELL UNIVERSITY, INC | Sub-recipient | $254,924.00 |