Tevfik Bultan

Tevfik Bultan is a Professor and Chair of the Department of Computer Science at the University of California, Santa Barbara. His research focuses on software verification, program analysis, software engineering, and computer security. He directs the Verification Laboratory (VLab) and has authored over 100 refereed publications.

Education

• Ph.D. in Computer Science, University of Maryland, College Park (1998)
• M.S. in Computer Engineering, Bilkent University (1992)
• B.S. in Electrical Engineering, Middle East Technical University (1989)

Research Focus

Bultan's work spans automated verification techniques, security vulnerability detection, quantitative program analysis, and symbolic execution. His lab develops tools for analyzing software systems with applications in cloud security, network protocols, and embedded systems.

Awards and Honors

• ACM Distinguished Scientist (2016)
• NSF CAREER Award (2000)
• UCSB Outstanding Graduate Mentor Award (2016)
• ACM SIGSOFT Distinguished Paper Awards (2005, 2014)
• NATO Science Fellowship (1993)

Professional Activities

He has chaired program committees for top conferences including ICSE, FSE, and ASE. Currently serves as associate editor for ACM TOSEM and on steering committees for ISSTA, ASE, and ICSE. Regularly advises PhD students and postdoctoral researchers in verification and security.

Laboratory

Leads the Verification Laboratory (VLab) focusing on automated reasoning techniques for software systems. Current projects include symbolic analysis for vulnerability detection, quantitative information flow, and security policy verification.