← Leaderboards
William Mansky
Princeton University
$1,238,000
Attributed
$1,495,999
Total exposure
3
Grants
2
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 $980K · FY2018–24$1M$750K$500K$250K$0
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$1,495,999 · 3
By mechanism
—$1,495,999 · 3
Top collaborators
- Lennart E Beringer1 shared
Grant awards (3)
SHF: Small: End-to-End Formal Verification of Concurrent C Programs$620,000
· FY2024 · CSE · contact PI
Collaborative Research: FMitF: Track I: JIVe: Just in Time Verification for High Performance Compilers$360,000
· FY2024 · CSE · contact PI
SHF: Small: Verified High Performance Data Structure Implementations$515,999
· FY2018 · CSE