← Leaderboards
Kristin Yvonne Rozier
University Of Cincinnati Main Campus
$1,978,787
Attributed
$3,873,782
Total exposure
7
Grants
5
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.2M · FY2016–25$2M$1.5M$1M$500K$0
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$3,873,782 · 7
By mechanism
—$3,873,782 · 7
Top collaborators
- Andrew S Miner1 shared
- Borzoo Bonakdarpour1 shared
- Ella M Atkins1 shared
- Fathi H Ghorbel1 shared
- George Hunter1 shared
- Gianfranco Ciardo1 shared
- James B Dabney1 shared
- Phillip Jones1 shared
Grant awards (7)
EAGER: Verification: The New Third Leg of Subsea Autonomous Systems Design$300,000
· FY2025 · CSE · contact PI
CPS: Medium: Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems$1,200,000
· FY2021 · CSE · contact PI
CCRI: Medium: Collaborative Research: Open-Source, State-of-the-Art Symbolic Model-Checking Framework$674,801
· FY2020 · CSE · contact PI
PFI:BIC: Pre-Departure Dynamic Geofencing, En-Route Traffic Alerting, Emergency Landing and Contingency Management for Intelligent Low-Altitude Airspace UAS Traffic Management$1,050,000
· FY2017 · TIP
CAREER: Theoretical Foundations of the UAS in the NAS Problem (Unmanned Aerial Systems in the National Air Space)$533,933
· FY2016 · CSE · contact PI
CAREER: Theoretical Foundations of the UAS in the NAS Problem (Unmanned Aerial Systems in the National Air Space)$105,054
· FY2016 · CSE · contact PI
Midwest Verification Day 2016$9,994
· FY2016 · CSE