← Leaderboards
Jan Hoffmann
Yale University
$2,184,671
Attributed
$3,534,528
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 $900K · FY2013–25$1M$750K$500K$250K$0
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$3,534,528 · 6
By mechanism
—$3,534,528 · 6
Top collaborators
- Feras Saad2 shared
- Brandon Lucia1 shared
- Limin Jia1 shared
- Zhong Shao1 shared
Grant awards (6)
FMitF: Track I: Probabilistic Modeling and Analysis Tools for Intermittent Systems$899,996
· FY2025 · CSE · contact PI
SHF: Medium: Language Support for Sound and Efficient Programmable Inference$900,000
· FY2023 · CSE · contact PI
SHF: Small: Automatic Qualitative and Quantitative Verification of CUDA Code$499,996
· FY2020 · CSE · contact PI
CAREER: Marlin: A Unified Framework for Automatic and Interactive Quantitative Program Analysis$534,815
· FY2019 · CSE · contact PI
SHF: Small: Collaborative Research: Resource-Guided Program Synthesis$250,000
· FY2018 · CSE · contact PI
SHF: Small: VeriQ: Formal Quantitative Software Verification in Realistic Application Scenarios$449,721
· FY2013 · CSE