Tevfik Bultan
Professor
He/Him/His
bultan@cs.ucsb.edu
(805)893-3735
2159 Harold Frank Hall
Personal Website
Education
Ph.D. Computer Science, University of Maryland, College Park, 1998
M.S. Computer Engineering and Information Science, Bilkent University, 1992
B.S. Electrical and Electronics Engineering, Middle East Technical University, 1989
Campus Affiliations
Verification Laboratory
Computer Engineering Program
Center for CyberSecurity
External Publications
UCSB Computer Science Verification Lab
Awards
Keynote speaker, 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS), Florence, Italy, 2013
ACM Recognition of Service Award, 2012
Keynote speaker, 9th International Symposium on Formal Aspects of Component Software (FACS 2012), Mountain View, CA, 2012
Keynote speaker, 13th International Workshop on Verification of Infinite-State Systems (Infinity 2011), Taipei, Taiwan, 2011
Keynote speaker, 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2008), Atlanta, GA, 2008
Keynote speaker, 19th International Conference on Concurrency Theory (CONCUR 2008), Toronto, Canada, 2008
Keynote speaker, 6th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008), Anaheim, CA, 2008
Best paper award, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005)
ACM SIGSOFT distinguished paper award, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005)
National Science Foundation Faculty Early Career Development (CAREER) Award, 2000
Regents’ Junior Faculty Fellowship, University of California, Santa Barbara, 1999
NATO Science Fellowship, 1993
Research Areas
Programming Languages and Software Engineering
Security and Cryptography
Bio

 

Tevfik Bultan is a Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB). He has more than 100 refereed research publications and has served on more than 50 technical program committees of international conferences and workshops. He co-chaired the program committees of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA 2011), the 20th International Symposium on the Foundations of Software Engineering (FSE 2012) which is the flagship conference of ACM SIGSOFT, the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) and the 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019) which is the premier software engineering conference in the world. He was the general chair of the 2017 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2017). He was an associate editor of the IEEE Transactions of Software Engineering (TSE) from 2014 to 2018 and he is currently an associate editor of the ACM Transactions on Software Engineering and Methodology (TOSEM). He is currently serving on the steering committees of ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), IEEE/ACM International Conference on Automated Software Engineering (ASE), and ACM/IEEE International Conference on Software Engineering (ICSE). He has served as the vice chair of the Department of Computer Science at UCSB from 2005 to 2009.

Research

Prof. Bultan's research focuses on automated verification techniques and their application to software. As computer systems become more pervasive, their dependability becomes increasingly important. The size and complexity of the software systems nowadays inevitably lead to errors during both design and implementation phases.  Prof. Bultan's research group develops automated verification and analysis techniques that help developers in identifying and eliminating errors in software.  Prof. Bultan’s recent research results include string analysis for achieving input validation/sanitization correctness in web applications, data model verification for cloud-based web applications, interaction analysis for service-oriented and distributed systems, and design for verification for concurrent software.