← Leaderboards
Manos Kapritsos
Regents Of The University Of Michigan - Ann Arbor
$2,433,586
Attributed
$2,808,557
Total exposure
5
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.2M · FY2018–23$2M$1.5M$1M$500K$0
'18
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$2,808,557 · 5
By mechanism
—$2,808,557 · 5
Top collaborators
- Baris Kasikci1 shared
Grant awards (5)
Collaborative Research: FMitF: Track I: Simplifying End-to-End Verification of High-Performance Distributed Systems$375,000
· FY2023 · CSE · contact PI
Collaborative Research: PPoSS: LARGE: ScaleStuds: Foundations for Correctness Checkability and Performance Predictability of Systems at Scale$625,000
· FY2021 · CSE · contact PI
CAREER: Formal Verification of Performance Properties for Distributed Systems$561,391
· FY2021 · CSE · contact PI
FMitF: Track I: Automating the Verification of Distributed Systems$749,943
· FY2020 · CSE · contact PI
CSR: Small: Replication in the Cloud Era$497,223
· FY2018 · CSE · contact PI