← Leaderboards
Andrew S Miner
Iowa State University
$952,007
Attributed
$1,675,548
Total exposure
5
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 $716K · FY2005–22$1M$750K$500K$250K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
Funding mix
By agency
NSF$1,675,548 · 5
By mechanism
—$1,675,548 · 5
Top collaborators
- Gianfranco Ciardo3 shared
- Samik Basu3 shared
- Kristin Yvonne Rozier1 shared
Grant awards (5)
SHF: Medium: Improving the Efficiency and Applicability of Decision Diagrams$716,000
· FY2022 · CSE · contact PI
Midwest Verification Day 2016$9,994
· FY2016 · CSE · contact PI
CAREER: Advanced Decision Procedures forWords, Trees and Lists$499,612
· FY2010 · CSE
CAREER: Composition Approaches for the Analysis of Complex Systems$400,000
· FY2006 · CSE · contact PI
CSR--SMA: Software Verification Using Plug and Play Components$49,942
· FY2005 · CSE · contact PI