Tevfik Bultan
Scholar

Tevfik Bultan

Google Scholar ID: eq4egiwAAAAJ
Professor of Computer Science, University of California, Santa Barbara
software engineeringautomated verificationstatic analysisformal methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
8,034
 
H-index
47
 
i10-index
123
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
3 items
Program Analysis Guided LLM Agent for Proof-of-Concept Generation
2026
Cited
0
Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
2026
Cited
0
Fuzzing the brain: Automated stress testing for the safety of ML-driven neurostimulation
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)