← Leaderboards
Marco G Gaboardi
Suny At Buffalo
$2,270,065
Attributed
$2,270,065
Total exposure
9
Grants
9
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. They are the sole PI on all grants (the two match).
Funding over time
peak $736.7K · FY2016–24$1M$750K$500K$250K$0
'16
'17
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$2,270,065 · 9
By mechanism
—$2,270,065 · 9
Top collaborators
No co-investigators on record.
Grant awards (9)
Conference Travel: Oregon Programming Languages Summer School 2024: Types, Semantics, and Applications at Boston University$25,000
· FY2024 · CSE · contact PI
Collaborative Research: SaTC: CORE: Small: Mechanized Cryptographic Reasoning in Separation Logic$318,635
· FY2023 · CSE · contact PI
Collaborative Research: DASS: Co-design of law and computer science for privacy in sociotechnical software systems$249,703
· FY2022 · CSE · contact PI
CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis$488,314
· FY2020 · CSE · contact PI
SHF: Small: Collaborative Research: Programming Tools for Adaptive Data Analysis$152,696
· FY2020 · CSE · contact PI
TWC: Large: Collaborative: Computing Over Distributed Sensitive Data$95,700
· FY2020 · CSE · contact PI
CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis$187,698
· FY2019 · CSE · contact PI
SHF: Small: Collaborative Research: Programming Tools for Adaptive Data Analysis$224,452
· FY2017 · CSE · contact PI
TWC: Large: Collaborative: Computing Over Distributed Sensitive Data$527,867
· FY2016 · CSE · contact PI