← Leaderboards
Scott A Smolka
Suny At Stony Brook
$3,887,628
Attributed
$14,784,919
Total exposure
14
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 $5M · FY2005–25$5M$3.8M$2.5M$1.3M$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$14,784,919 · 14
By mechanism
—$14,784,919 · 14
Top collaborators
- Radu Grosu4 shared
- Scott D Stoller4 shared
- C. R Ramakrishnan3 shared
- Iv Ramakrishnan3 shared
- Erez Zadok2 shared
- James Glimm2 shared
- Peng Zhang2 shared
- Xin Wang2 shared
Grant awards (14)
Collaborative Research: CPS: Medium: Mitigating Errors in Air Traffic Control$499,480
· FY2025 · CSE
NSF Convergence Accelerator–Track D: AI-Grid: AI-Enabled, Provably Resilient, Programmable Networked Microgrids$5,000,000
· FY2021 · TIP
NSF Convergence Accelerator-Track D: AI-Enabled Provably Resilient Networked Microgrids$1,000,000
· FY2020 · TIP
FMitF: Track I: NLP-Assisted Formal Verification of the NFS Distributed File System Protocol$764,300
· FY2019 · CSE
CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems$1,147,304
· FY2015 · CSE · contact PI
BIGDATA: F: DKM: DKA: Big Data Modeling and Analysis with Depth and Scale$1,500,000
· FY2014 · CSE
Closed-Loop Formal Verification of ICDs Using Cardiac Electrophysiological Models$162,122
· FY2014 · CSE · contact PI
2014 CPS Medical Devices Workshop Travel Support$49,900
· FY2014 · CSE · contact PI
Probabilistic Tabled Logic Programming$500,000
· FY2010 · CSE
Collaborative Research: Next-Generation Model Checking and Abstract Interpretation With a Focus on Embedded Control and Systems Biology$1,858,340
· FY2009 · CSE · contact PI
CSR---AES: Runtime Monitoring and Model Checking for High-Confidence System Software$830,000
· FY2005 · CSE
BioComp: Efficient Modeling and Analysis of Excitable Cell Networks using Hybrid Automata$300,000
· FY2005 · CSE
ITR: Model Checking for Detecting Computer System Vulnerabilities$924,978
· FY2002 · CSE
Compositional Techniques for Verification and Performance Analysis of Reactive Probabilistic Systems$248,495
· FY2000 · CSE