# SHF: Foundations and Applications of Type-Based Under-Approximate Reasoning

**Budget Signal Score:** 55/100

| Field | Value |
|---|---|
| Institution | Purdue University |
| Location | WEST LAFAYETTE, IN |
| Project | SHF: Foundations and Applications of Type-Based Under-Approximate Reasoning |
| Award amount | $866,530 |
| Obligated so far | $866,530 |
| Awarded | 2026-06-30 |
| Period | 2026-09-01 to 2030-08-31 |
| Program | Software & Hardware Foundation |
| Directorate / division | CSE / SSF |
| Award ID | 2615892 |

## Why this score
- Award of $300K or more.
- Equipment- and compute-heavy field.

Source: U.S. National Science Foundation Awards API (https://www.nsf.gov/awardsearch/showAward?AWD_ID=2615892). Last refreshed: 2026-11-03T18:10:42.804Z.
Award data comes from the NSF Awards API and may be amended by NSF. Institution-level only; investigator contact details are not included. Informational only.