Andrew Wilson Appel – Projects — Princeton University

View Scopus Profile

h-index

Research activity per year

If you made any changes in Pure these will be visible here soon.

2 Active
3 Finished

2 results

Filter

Active

Collaborative Research: FMitF: Track I: Formally Verified Numerical Methods
Appel, A. W.
NSF - National Science Foundation
10/1/22 → 9/30/25
Project: Research project
SHF: Small: VeriFFI -- Formally Verified Functional+C programs
Appel, A. W.
NSF - National Science Foundation
6/15/20 → 5/31/24
Project: Research project