← Leaderboards
Madhusudan Parthasarathy
University Of Illinois At Urbana-Champaign
$1,825,000
Attributed
$2,050,000
Total exposure
5
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.
Funding over time
peak $500K · FY2008–15$500K$375K$250K$125K$0
'08
'09
'10
'11
'12
'13
'14
'15
Funding mix
By agency
NSF$2,050,000 · 5
By mechanism
—$2,050,000 · 5
Top collaborators
- Venkat Venkatakrishnan1 shared
Grant awards (5)
SHF: Small: Automating Software Verification using Natural Proofs$500,000
· FY2015 · CSE · contact PI
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design$500,000
· FY2012 · CSE · contact PI
TC: Small: Collaborative Research: Formal Security Analysis of Access Control Models and Extensions$200,000
· FY2010 · CSE · contact PI
TC: Small: Keeping Jack in the Box: Confining the Role of Untrusted Inputs in Web Scenarios$450,000
· FY2009 · CSE
CAREER: The Automata Theoretic Method in Software Verification$400,000
· FY2008 · CSE · contact PI