Skip to main contentAll people

PAVEL PANCHEKHA

Associate Professor

School of Computing

Orcid identifier0000-0003-2621-3592 (opens in a new tab)⁠
  • Associate Professor
    School of Computing

GRANTS

  • EXTERNAL GRANT OR CONTRACT
    COLLABORATIVE RESEARCH: SHF: PERSISTENT E-GRAPHS VIA EXTRACTION AND PRUNING
    1 Aug 2026 - 31 Jul 2030
  • EXTERNAL GRANT OR CONTRACT
    GENERATING FORMAL SPECIFICATIONS FOR OPTIMIZED EMBEDDED NUMERICAL SOFTWARE
    16 Oct 2025 - 30 Sep 2026
  • EXTERNAL GRANT OR CONTRACT
    COLLABORATIVE RESEARCH: CIRC: MEDIUM: NEW: WORKBENCH FOR RELIABLE AND EFFICIENT NUMERICS
    1 Jul 2024 - 30 Jun 2027
  • EXTERNAL GRANT OR CONTRACT
    CAREER: FOUNDATIONS, ALGORITHMS, AND TOOLS FOR BROWSER INVALIDATION
    15 Mar 2024 - 28 Feb 2029
  • EXTERNAL GRANT OR CONTRACT
    Rigorous and Versatile Float-Point Precision Analysis and Tuning
    NSF10 Jan 2019 - 4 Jan 2021
    NSF