Prof. Bultan's research focuses on development of automated verification and testing 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, analysis and testing techniques that help developers in identifying and eliminating errors and security vulnerabilities in software. Prof. Bultan’s recent research results include quantitative information flow analysis for detecting and eliminating information leakages due to side-channels, quantitative symbolic analysis of access control policies to detect and prevent data leaks in the cloud, string analysis for achieving input validation/sanitization correctness in web applications, and data model verification for cloud-based applications.
Tevfik Bultan is a Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB). 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), the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) and the 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019). He was the general chair of the 2017 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2017). He served as an associate editor for the IEEE Transactions of Software Engineering (TSE) and the ACM Transactions on Software Engineering and Methodology (TOSEM), and he has served on the steering committees of ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) and IEEE/ACM International Conference on Automated Software Engineering (ASE), and ACM/IEEE International Conference on Software Engineering (ICSE). He was the vice-chair and chair of the Department of Computer Science at UCSB from 2005 to 2009 and from 2019 to 2023, respectively. He is the recipient of the Faculty Early Career Development (CAREER) Award from the National Science Foundation, ACM SIGSOFT Distinguished Paper Awards and the Best Paper Award at the IEEE/ACM International Conference on Automated Software Engineering, and the UCSB Academic Senate Outstanding Graduate Mentor Award. He is an ACM Distinguished Scientist.