Tevfik Bultan

Tevfik Bultan is a Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB), part of the College of Engineering. His research focuses on automated verification techniques, software security, and formal methods, with applications to web software, concurrency, and service-oriented systems. He leads the Verification Laboratory, which explores methods for improving software dependability through static analysis, model checking, and symbolic execution. Bultan holds a PhD from the University of Maryland, College Park, and academic degrees from Middle East Technical University and Bilkent University.

His honors include the NSF Early Career Award and ACM SIGSOFT Distinguished Paper Award. Bultan has advised numerous PhD, MS, and undergraduate researchers, contributing to advancements in side-channel analysis, quantitative information flow, and vulnerability detection. His work bridges theoretical foundations with practical tools, such as the STASE framework for firmware vulnerability analysis and CanCheck for web application security.

Key affiliations include the UCSB Center for CyberSecurity and collaborations with industry and academic partners. Current research trends emphasize neural network verification, scalable quantitative analysis, and automated policy repair for cloud systems. His courses cover topics like automated verification, software engineering, and quantitative information flow, reflecting his commitment to educating future researchers and practitioners in secure software development.