← Leaderboards
Aravinda P Sistla
University Of Illinois At Chicago
$2,630,526
Attributed
$4,132,290
Total exposure
10
Grants
8
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 $894.9K · FY2007–19$1M$750K$500K$250K$0
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
Funding mix
By agency
NSF$4,132,290 · 10
By mechanism
—$4,132,290 · 10
Top collaborators
- Lenore D Zuck2 shared
- Mahesh Viswanathan2 shared
- Milos Zefran1 shared
- Venkat Venkatakrishnan1 shared
Grant awards (10)
SHF: Medium: Collaborative Research: Verification of Differential Privacy Mechanisms$800,000
· FY2019 · CSE · contact PI
SHF: Medium: Self-certifying Compilation and its Applications$854,500
· FY2016 · CSE
TWC: Medium: Collaborative: Automated Formal Analysis of Security Protocols with Private Coin Tosses$594,910
· FY2013 · CSE
SHF: Small: Static and Dynamic Techniques for Correctness of Probabilistic Systems$300,000
· FY2013 · CSE · contact PI
CPS: Small: Monitoring Techniques for Safety Critical Cyber-Physical Systems$360,000
· FY2010 · CSE · contact PI
Runtime and Static Verification of Concurrent Systems$569,095
· FY2009 · CSE · contact PI
SGER: Monitoring Off-the-shelf Components$109,285
· FY2007 · CSE · contact PI
Collaborative Research: CSR--EHS: Property-Based Development of Reactive and Embedded Systems$100,000
· FY2007 · CSE · contact PI
ITR: COLLABORATIVE RESEARCH: Towards a Seamless Process for the Development of Embedded Systems$244,367
· FY2002 · CSE · contact PI
Automated Methods for Verification of Concurrent Software Systems$200,133
· FY2000 · CSE · contact PI