← Leaderboards
Rohit Chadha
University Of Missouri-Columbia
$1,090,845
Attributed
$1,090,845
Total exposure
4
Grants
4
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 $436K · FY2013–19$500K$375K$250K$125K$0
'13
'14
'15
'16
'17
'18
'19
Funding mix
By agency
NSF$1,090,845 · 4
By mechanism
—$1,090,845 · 4
Top collaborators
No co-investigators on record.
Grant awards (4)
SHF: Medium: Collaborative Research: Verification of Differential Privacy Mechanisms$400,000
· FY2019 · CSE · contact PI
CAREER: Automated Analysis of Security Hyperproperties$436,035
· FY2016 · CSE · contact PI
Conference Support for Midwest Verification Day, UMC Oct 3-4, 2014$10,000
· FY2014 · CSE · contact PI
TWC: Medium: Collaborative: Automated Formal Analysis of Security Protocols with Private Coin Tosses$244,810
· FY2013 · CSE · contact PI