← Leaderboards
Matthew B Dwyer
Kansas State University
$3,874,477
Attributed
$7,501,687
Total exposure
15
Grants
9
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.3M · FY2006–25$2M$1.5M$1M$500K$0
'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$7,501,687 · 15
By mechanism
—$7,501,687 · 15
Top collaborators
- Sebastian G Elbaum5 shared
- Preston T Fletcher2 shared
- Yangfeng Ji2 shared
- Yanjun Qi2 shared
- John Hatcliff1 shared
- Kenneth C Bilchick1 shared
- Mary Lou Soffa1 shared
- Miaomiao Zhang1 shared
Grant awards (15)
SCH: Generative Imaging Models for Verifying and Explaining Machine Learning Systems in Healthcare$1,000,000
· FY2025 · CSE
SHF: Medium: More Reliable Image Networks through Scene-based Specification, Neuro-symbolic Training, and Systematic Specification-driven Testing$1,174,741
· FY2023 · CSE
SaTC: CORE: Small: Generalizing Adversarial Examples in Natural Language$500,000
· FY2022 · CSE
SHF: Small: Distribution-aware Testing for Neural Networks$498,460
· FY2021 · CSE · contact PI
FMitF: Track I: Focusing Incremental Abstraction-based Verification on Neural Networks Input Distributions$510,000
· FY2020 · CSE · contact PI
SHF: Medium: Rearchitecting Neural Networks for Verification$1,271,494
· FY2019 · CSE · contact PI
SHF: Small: Measurable Program Analysis$227,579
· FY2018 · CSE · contact PI
SHF: Small: Measurable Program Analysis$507,653
· FY2016 · CSE · contact PI
SHF: EAGER: Collaborative Research: Mapping Software Analysis Problems to Efficient and Accurate Constraints$74,999
· FY2014 · CSE · contact PI
CIVL: A Concurrency Intermediate Verification Language$308,000
· FY2013 · CSE
SHF: Small: T2T: A Framework for Amplifying Testing Resources$491,688
· FY2009 · CSE
Collaborative Research: Finite-State Verification for High-Performance Computing$300,000
· FY2006 · CSE · contact PI
Building Scalable and Adaptive Garbage Collector for Server Systems$281,000
· FY2004 · CSE
BOGOR : A Model Checking Framework for Dynamic Software$176,074
· FY2004 · CSE · contact PI
BOGOR : A Model Checking Framework for Dynamic Software$179,999
· FY2003 · CSE · contact PI