NEW YORK UNIVERSITY
Flexible, Efficient, and Trustworthy Proof Checking for Satisfiability Modulo Theories
Choose a quarter and click "Go."
| AWARD OVERVIEW |
| Award Number |
0914956 |
Funding Agency |
National Science Foundation |
| Total Award Amount |
$150,000 |
Project Location - City |
New York |
| Award Date |
07/15/2009 |
Project Location - State |
NY |
| Project Status |
Completed |
Project Location - Zip |
10012-1019
|
| Jobs Reported |
0.00 |
Congressional District |
08 |
| Project Location - Country |
US |
|
|
Recipient Information
(Grants)
| Recipient Information (Grants) |
|
Recipient Name
|
NEW YORK UNIVERSITY |
| Recipient DUNS Number |
041968306
|
| Recipient Address |
70 WASHINGTON SQUARE S |
| Recipient City |
NEW YORK |
| Recipient State |
New York |
| Recipient Zip |
10012-1019 |
| Recipient Congressional District |
08 |
| Recipient Country |
USA |
Required to Report Top 5
Highly Compensated Officials |
No |
Projects and Jobs Information
| Projects and Jobs Information |
| Project Title |
SHF: Small:Collaborative Research: Flexible, Efficient, and Trustworthy Proof Checking for Satisfiability Modulo Theories |
| Project Status |
Completed |
| Final Project Report Submitted |
Yes |
| Project Activities Description |
Universities |
| Quarterly Activities/Project Description |
Eliminating software errors is of continuing critical importance to the economy of the United States, and to the security of its computing infrastructure. At the heart of several technologies for finding and eliminating errors are automated deduction tools, which automatically reason about software using chains of inference composed of many small steps. This project aims to improve the reliability of automated deductions tools by providing mechanisms and techniques for efficiently recording and checking these inference steps. The remaining balance will not be claimed as no other expenses to be incurred. |
| Jobs Created |
0.00 |
| Description of Jobs Created |
None |
Purchaser Information
(Grants)
| Purchaser Information |
| Contracting Office ID |
Not Reported |
| Contracting Office Name |
Not Available |
| Contracting Office Region |
Not Available |
| TAS Major Program |
49-0101 |
| Award Information |
| Award Date |
07/15/2009 |
| Award Number |
0914956 |
| Order Number |
|
| Award Type |
Grants |
| Funding Agency ID |
49 |
| Funding Agency Name |
National Science Foundation |
| Funding Office Name |
Not Available |
| Awarding Agency ID |
49 |
| Awarding Agency Name |
National Science Foundation |
| Amount of Award |
$150,000 |
| Funds Invoiced/Received |
$149,367 |
| Expenditure Amount |
$149,367 |
| Infrastructure Expenditure Amount |
$0 |
| Infrastructure Purpose and Rationale |
N/A |
| Infrastructure Point of Contact Name |
Not Reported |
| Infrastructure Point of Contact Email |
Not Reported |
| Infrastructure Point of Contact Phone |
Not Reported |
| Infrastructure Point of Contact Address |
Not Reported |
| Infrastructure Point of Contact City |
Not Reported |
| Infrastructure Point of Contact State |
Not Reported |
| Infrastructure Point of Contact Zip |
Not Reported |
Product or Service Information
(Grants)
| Product or Service Information |
| Primary Activity Code |
B43 - NTEE |
| Activity Description |
Universities |
| Sub-Awards Information |
| Sub-awards to Organizations |
0 |
| Sub-award Amounts to Organizations |
$0 |
| Sub-Awards to Individuals |
0 |
| Sub-Award Amounts to Individuals |
$0 |
| Number of Sub-awards less than $25,000/award |
0 |
| Amount of Sub-awards less than $25,000/award |
$0 |
| Number of payments to vendors greater than $25,000 |
0 |
| Total Amount of payments to vendors greater than $25,000/award |
$0 |
| Number of payments to vendors less than $25,000/award |
4 |
| Total Amount of payments to vendors less than $25,000/award |
$3,052 |
| Location Information |
| Latitude, Longitude |
40º 43' 33",
-73º 59' 54" |
| Congressional District |
08 |
| Address 1 |
|
| Address 2 |
|
| City |
New York |
| County |
New York |
| State |
NY |
| Zip |
10012-1019 |
|
|