Primary Recipient

REGENTS OF THE UNIVERSITY OF CALIFORNIA, THE

Amount

$500,000.00

Award Date

5/23/2012

Administering Agency

National Science Foundation

CDFA Number

47.082

CDFA Program Title

Trans-NSF Recovery Act Reasearch Support

Description

In contrast to software verification, software synthesis 'writes' programs rather than merely checks them for errors. While verification has recently reached the programmer, the success of synthesis remains in the hands of formally trained experts. To eas