← Leaderboards
Samik Basu
Iowa State University
$1,401,146
Attributed
$2,130,634
Total exposure
10
Grants
6
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 $854.8K · 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$2,130,634 · 10
By mechanism
—$2,130,634 · 10
Top collaborators
- Andrew S Miner3 shared
- Gianfranco Ciardo2 shared
- Robyn R Lutz2 shared
- Gary T Leavens1 shared
- Hridesh Rajan1 shared
- Kristin Yvonne Rozier1 shared
- Vasant G Honavar1 shared
Grant awards (10)
Collaborative Research: RI: III: SHF: Small: Multi-Stakeholder Decision Making: Qualitative Preference Languages, Interactive Reasoning, and Explanation$315,184
· FY2022 · CSE · contact PI
Midwest Verification Day 2016$9,994
· FY2016 · CSE
A Model Checking based Framework for Analyzing Information-Propagation over Networks$124,701
· FY2015 · CSE · contact PI
SHF: Small: Collaborative Research: Formal Analysis of Distributed Interactions$164,966
· FY2011 · CSE · contact PI
EAGER: Decision Support System for Reasoning with Preferences$111,393
· FY2011 · CSE · contact PI
CAREER: Advanced Decision Procedures forWords, Trees and Lists$499,612
· FY2010 · CSE
Collaborative Research: Learning Classifiers From Autonomous, Semantically Heterogeneous, Distributed Data$392,467
· FY2007 · CSE · contact PI
Interactive and Verifiable Composition of Web Services To Satisfy End-User Goals$387,375
· FY2007 · CSE · contact PI
Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research$75,000
· FY2007 · CSE
CSR--SMA: Software Verification Using Plug and Play Components$49,942
· FY2005 · CSE