← Leaderboards
Joseph D Tassarotti
Boston College
$2,603,916
Attributed
$3,599,936
Total exposure
10
Grants
8
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 · FY2020–25$2M$1.5M$1M$500K$0
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$3,599,936 · 10
By mechanism
—$3,599,936 · 10
Top collaborators
- Henry Corrigan-Gibbs1 shared
- Jean-Baptiste Tristan1 shared
- Marinus F Kaashoek1 shared
- Nickolai Zeldovich1 shared
Grant awards (10)
Collaborative Research: SHF: Medium: Probabilistic Concurrent Outcome Logic (pcOL) -- Expressive Specifications for Concurrent Randomized Programs$333,627
· FY2025 · CSE · contact PI
Collaborative Research: FMitF: Track I: Verifying distributed systems for liveness with Byzantine participants$303,209
· FY2025 · CSE · contact PI
CAREER: Verifying Security and Privacy of Distributed Applications$600,000
· FY2024 · CSE · contact PI
Collaborative Research: FMitF: Track I: Composable Verification of Crash-Safe Distributed Systems with Grove$249,998
· FY2023 · CSE · contact PI
Collaborative Research: FMitF: Track I: The Phlox framework for verifying a high-performance distributed database$249,867
· FY2023 · CSE · contact PI
EAGER: SHF: Verified Audit Layers for Safe Machine Learning$21,650
· FY2023 · CSE · contact PI
SaTC: CORE: Medium: Verifying Hardware Security Modules with Information-Preserving Refinement$1,200,000
· FY2022 · CSE
Collaborative Research: FMitF: Track I: Composable Verification of Crash-Safe Distributed Systems with Grove$249,998
· FY2021 · CSE · contact PI
SHF: Medium: Formally Verified Compilation of Probabilistic Programs$192,040
· FY2021 · CSE
EAGER: SHF: Verified Audit Layers for Safe Machine Learning$199,547
· FY2020 · CSE · contact PI