← Leaderboards
Tuba Yavuz
University Of Florida
$1,273,732
Attributed
$1,607,065
Total exposure
4
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 $1M · FY2020–24$2M$1.5M$1M$500K$0
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$1,607,065 · 4
By mechanism
—$1,607,065 · 4
Grant awards (4)
Collaborative Research: NSF-DFG: SaTC: CORE: Small: VeriFuzz: Light-weight Formal Approaches for Scalable Hardware Fuzzing$300,000
· FY2024 · CSE · contact PI
Collaborative Research: SHF: Small: Towards Variability-Aware Software Analysis and Testing$300,000
· FY2022 · CSE · contact PI
CAREER: Towards a Secure and Reliable Internet of Things through Automated Model Extraction and Analysis$507,065
· FY2020 · CSE · contact PI
Collaborative Research: FMitF: Track I: Property-specific Hardware-oriented Formal Verification Modules for Embedded Systems$500,000
· FY2020 · CSE · contact PI