← Leaderboards
Jean-Baptiste Jeannin
Regents Of The University Of Michigan - Ann Arbor
$2,082,500
Attributed
$2,965,000
Total exposure
6
Grants
5
Lead (contact PI)
Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants.
Funding over time
peak $1.4M · FY2022–25$2M$1.5M$1M$500K$0
'22
'23
'24
'25
Funding mix
By agency
NSF$2,965,000 · 6
By mechanism
—$2,965,000 · 6
Top collaborators
- Cyrus Omar2 shared
- Karthikeyan Duraisamy2 shared
Grant awards (6)
Collaborative Research: CS2: A Comprehensive Pipeline for Formal Verification of Floating-Point Errors and Compilation for Scientific Computing$750,000
· FY2025 · CSE · contact PI
SHF: Small: A Hybrid Synchronous Language for Verifiable Execution of Cyber-Physical Systems$600,000
· FY2024 · CSE · contact PI
CISE-ANR: SHF: Small: CAFEE: Control Algorithms Formal End-to-End Verification$600,000
· FY2024 · CSE · contact PI
FMitF: Track III: Customizing a Classroom Proof Assistant for Mathematical Computing and Engineering Courses$250,000
· FY2024 · CSE
Conference: Midwest Programming Languages Summits 2023, 2024, 2025$15,000
· FY2023 · CSE · contact PI
FMitF: Track 1: Foundational Approaches for End-to-end Formal Verification of Computational Physics$750,000
· FY2022 · CSE · contact PI