← Leaderboards
Sayan Mitra
University Of Illinois At Urbana-Champaign
$1,832,542
Attributed
$3,970,999
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 $904.7K · FY2010–25$1M$750K$500K$250K$0
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$3,970,999 · 7
By mechanism
—$3,970,999 · 7
Top collaborators
- Geir E Dullerud2 shared
- Mahesh Viswanathan2 shared
- Huan Zhang1 shared
- Nikita Borisov1 shared
- Nitin H Vaidya1 shared
- Sasa Misailovic1 shared
- Shenlong Wang1 shared
- Sibin Mohan1 shared
Grant awards (7)
FMitF: Track I: Visual Computing Meets Formal Verification: Certified Rendering, Geometry, and Video Generation$904,686
· FY2025 · CSE
SHF: Small: Probabilistic Programming and Statistical Verification for Safe Autonomy$450,000
· FY2020 · CSE
CPS:SMALL: Privacy-preserving Network Congestion Control: Theory and Applications$500,000
· FY2017 · CSE · contact PI
II-New: CyPhyHouse: A Laboratory for Evolving Distributed and Mobile Cyber-Physical Systems Research$626,000
· FY2016 · CSE · contact PI
CSR: Small: From Simulations to Proofs for Cyberphysical Systems$515,000
· FY2014 · CSE · contact PI
CAREER: Algorithms and Verification for Reliable Distributed Cyber-Physical Systems$475,313
· FY2011 · CSE · contact PI
CSR: Small: Verifying Simulink-Stateflow models$500,000
· FY2010 · CSE · contact PI