Primary Recipient

UNIVERSITY OF MARYLAND

Amount

$1,848,083.00

Award Date

8/11/2009

Administering Agency

National Science Foundation

CDFA Number

47.082

CDFA Program Title

Trans-NSF Recovery Act Reasearch Support

Description

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 engineers analyze and understand the beh