← Leaderboards
Mahesh Viswanathan
University Of Illinois At Urbana-Champaign
$2,773,853
Attributed
$5,016,605
Total exposure
11
Grants
6
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.1M · FY2005–20$2M$1.5M$1M$500K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
Funding mix
By agency
NSF$5,016,605 · 11
By mechanism
—$5,016,605 · 11
Top collaborators
- Aravinda P Sistla2 shared
- Geir E Dullerud2 shared
- Sayan Mitra2 shared
- Grigore Rosu1 shared
- Gul A Agha1 shared
- Matthew West1 shared
Grant awards (11)
SHF: Small: New Algorithmic Paradigms in Dynamic Analysis of Multithreaded Software$250,000
· FY2020 · CSE · contact PI
SHF: Medium: Collaborative Research: Verification of Differential Privacy Mechanisms$800,000
· FY2019 · CSE
Midwest Verification Day 2015$11,000
· FY2015 · CSE · contact PI
CSR: Small: From Simulations to Proofs for Cyberphysical Systems$515,000
· FY2014 · CSE
TWC: Medium: Collaborative: Automated Formal Analysis of Security Protocols with Private Coin Tosses$594,910
· FY2013 · CSE · contact PI
CPS: Breakthrough: Statistical Model Checking of High-Dimensional Cyber-Controlled Systems$499,695
· FY2013 · CSE
CSR: Small: Verifying Simulink-Stateflow models$500,000
· FY2010 · CSE
SHF: Small: Verifying Open Concurrent Real Time Systems$476,000
· FY2010 · CSE · contact PI
CSR---SMA: Dynamic Analysis and Control for Robust Scalable Open Distributed Systems$700,000
· FY2005 · CSE
CAREER: Next Generation Model Checking$400,000
· FY2005 · CSE · contact PI
Monitoring and Checking of Distributed Systems with respect to Formal Specifications$270,000
· FY2004 · CSE · contact PI