← Leaderboards
Borzoo Bonakdarpour
Iowa State University
$2,105,417
Attributed
$3,165,390
Total exposure
8
Grants
7
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.4M · FY2019–24$2M$1.5M$1M$500K$0
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$3,165,390 · 8
By mechanism
—$3,165,390 · 8
Top collaborators
- Kristin Yvonne Rozier1 shared
- Maryam Sayadi1 shared
- Mohammad M Ghassemi1 shared
- Phillip Jones1 shared
- Tichakorn Wongpiromsarn1 shared
Grant awards (8)
FMitF: Track II: Enhancing the Bounded Model Checking Tool for Hyperproperties (HyperQB) for Industrial Applications$150,000
· FY2024 · CSE · contact PI
Collaborative Research: SaTC: CORE: Small: Hyperproperty-based Enforcement of Information-flow Security$300,000
· FY2023 · CSE · contact PI
EAGER: Causal Analysis through Formal Reasoning and AI for Cancer Diagnostics$239,960
· FY2023 · CSE · contact PI
CPS: Medium: Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems$1,200,000
· FY2021 · CSE
Collaborative Research: SHF: Small: Runtime Verification at the Edge$250,000
· FY2021 · CSE · contact PI
FMitF:Collaborative Research:Track I:Formal Techniques for Monitoring Low-level Cross-chain Functions$375,000
· FY2020 · CSE · contact PI
SaTC: CORE: Small: Techniques for Software Model Checking of Hyperproperties$275,430
· FY2020 · CSE · contact PI
FMitF:Collaborative Research:Track I:Formal Techniques for Monitoring Low-level Cross-chain Functions$375,000
· FY2019 · CSE · contact PI