← Leaderboards
Ronghui Gu
Columbia University
$1,483,517
Attributed
$2,442,034
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 $1.2M · FY2019–23$2M$1.5M$1M$500K$0
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$2,442,034 · 3
By mechanism
—$2,442,034 · 3
Top collaborators
- Jason Nieh2 shared
Grant awards (3)
CAREER: Automated Verification of Loops in Systems Code$525,000
· FY2023 · CSE · contact PI
SaTC: CORE: Medium: Microverification of Information-Flow Security for the Linux Operating System Kernel$1,167,034
· FY2021 · CSE · contact PI
FMitF: Track I: A Secure and Verifiable Commodity Hypervisor$750,000
· FY2019 · CSE