← Leaderboards
Ashish Tiwari
Sri International
$1,558,808
Attributed
$2,650,937
Total exposure
7
Grants
5
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 $499.5K · FY2006–17$500K$375K$250K$125K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
Funding mix
By agency
NSF$2,650,937 · 7
By mechanism
—$2,650,937 · 7
Top collaborators
- Bruno Dutertre1 shared
- Christelle Scharff1 shared
- Christopher Lynch1 shared
- Harald Ruess1 shared
- Joao P Hespanha1 shared
- Natarajan Shankar1 shared
- Susmit Jha1 shared
Grant awards (7)
EAGER: Duality-Based Algorithm Synthesis$249,938
· FY2017 · CSE · contact PI
SHF: Small: Computer-Aided Synthesis for Distributed Algorithms$499,501
· FY2014 · CSE · contact PI
CSR: Small: SMT-Aware Real Constraint Solving$466,883
· FY2009 · CSE · contact PI
CSR--EHS: Invariants for Continuous and Hybrid Dynamical Systems$300,000
· FY2007 · CSE · contact PI
Proposal for a Hybrid Systems Workshop$20,000
· FY2006 · CSE
ITR: Little Engines of Proof$904,648
· FY2003 · CSE
Symbolic Approaches to Analysis and Hybrid Systems$209,967
· FY2003 · CSE · contact PI