← Leaderboards
Aarti Gupta
Princeton University
$2,452,375
Attributed
$4,262,023
Total exposure
8
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.7M · FY2015–24$2M$1.5M$1M$500K$0
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$4,262,023 · 8
By mechanism
—$4,262,023 · 8
Top collaborators
- David P Walker2 shared
- Jennifer Rexford1 shared
- Maria Apostolaki1 shared
- Sharad Malik1 shared
Grant awards (8)
Collaborative Research: FMitF: Track I: AVA: Architectural Insights For Formal Verification Of Computer Architectures$550,000
· FY2024 · CSE
NeTS: Medium: Foundations and Applications of Modular Verification of Networks$1,082,977
· FY2023 · CSE
IMR: MM-1C: Fine-grained Network Monitoring via Software Imputation$600,000
· FY2023 · CSE
Collaborative Research: SHF: Medium: Automated Word Level Synthesis for Hardware Code Generation and Verified Abstraction$465,000
· FY2021 · CSE · contact PI
FMitF: OpenRDC: A Framework for Implementing Open, Reliable, Distributed, Network Control$1,039,740
· FY2018 · CSE · contact PI
Verification Mentoring Workshop II$30,600
· FY2016 · CSE · contact PI
SHF: Small: Driving Learning for Program Verification$463,706
· FY2015 · CSE · contact PI
Verification Mentoring Workshop$30,000
· FY2015 · CSE · contact PI