Andrew Wilson Appel

Projects

Projects per year 2009 2009 2014 2015 2020 2022 2025

• 2 Active
• 3 Finished

Projects per year

Search results

• 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

• Finished

  Collaborative Research: Expeditions in Computing: The Science of Deep Specification

  Appel, A. W.

  NSF - National Science Foundation

  12/15/15 → 11/30/22

  Project: Research project

• SHF: Medium: Collaborative Research: Principled Optimizing Compilation of Dependently Typed Languages

  Appel, A. W.

  NSF - National Science Foundation

  7/1/14 → 6/30/18

  Project: Research project

• ARRA: TC:Large:Collaborative Research: Combining Foundational and Lightweight Formal Methods to Build Certifiably Dependable Software

  Appel, A. W.

  NSF - National Science Foundation

  7/1/09 → 6/30/13

  Project: Research project