← Leaderboards
Tevfik Bultan
University Of California-Santa Barbara
$3,789,766
Attributed
$5,470,345
Total exposure
15
Grants
13
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 $850K · FY2006–21$1M$750K$500K$250K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
Funding mix
By agency
NSF$5,470,345 · 15
By mechanism
—$5,470,345 · 15
Top collaborators
- Christopher I Kruegel2 shared
- Yufei Ding2 shared
- Ben Hardekopf1 shared
- Chandra Krintz1 shared
- Divyakant Agrawal1 shared
- Giovanni Vigna1 shared
- Oscar H Ibarra1 shared
- Richard A Kemmerer1 shared
Grant awards (15)
FMitF: Track I: Scalable and Quantitative Verification for Neural Network Analysis and Design$749,248
· FY2021 · CSE · contact PI
Collaborative Research: SHF: Small: Automated Quantitative Assessment of Testing Difficulty$359,654
· FY2020 · CSE · contact PI
PPoSS: Planning: THINGULARITY- Taming the Heterogeneity of IoT Across the System Stack$250,000
· FY2020 · CSE
SHF: Medium: Collaborative Research: HUGS: Human-Guided Software Testing and Analysis for Scalable Bug Detection and Repair$415,987
· FY2019 · CSE · contact PI
SHF: Small: Differential Policy Verification and Repair for Access Control in the Cloud$515,992
· FY2018 · CSE · contact PI
NSF Travel and Attendance Grant Proposal for ISSTA/SPIN 2017$9,000
· FY2017 · CSE · contact PI
EAGER: Collaborative Research: Leveraging Graph Databases for Incremental and Scalable Symbolic Analysis and Verification of Web Applications$99,989
· FY2015 · CSE · contact PI
SHF: Small: Data Model Verification for Web Applications$499,888
· FY2014 · CSE · contact PI
SHF: Small: Collaborative Research: Formal Analysis of Distributed Interactions$328,624
· FY2011 · CSE · contact PI
TC: Small: Collaborative Research: Viewpoints: Discovering Client- and Server-side Input Validation Inconsistencies to Improve Web Application Security$299,964
· FY2011 · CSE · contact PI
TC: Small:Automata Based String Analysis for Detecting Vulnerabilities in Web Applications$349,999
· FY2009 · CSE · contact PI
CT-T: Modeling and Analyzing Trust in Service-Oriented Architectures$850,000
· FY2007 · CSE
SoD-HCER: Design for Verification$200,000
· FY2006 · CSE · contact PI
Reliable Concurrent Software Development Via Reliable Concurrency Controllers$342,000
· FY2003 · CSE · contact PI
CAREER: Verifiable Specifications: Tools for Reliable Reactive Software Development$200,000
· FY2000 · CSE · contact PI