Professor Bultan's talk is titled "Software, Logic, and Automata: Automating Dependability of Software." In his talk, Professor Bultan will discuss the research conducted at the Verification Lab at UCSB under his supervision, exploring connections among software, logic, and automata for automation of testing, verification, and repair of software.

More information about the talk is available here:
http://isr.uci.edu/content/tevfik-bultan

 


FACULTY HOST: Joshua Garcia
LOCATION: Donald Bren Hall (building #314), room 6011

ABSTRACT: 

Automation is crucial for developing dependable software. One way to achieve automation is to reduce a given software engineering task, such as searching for bugs or vulnerabilities in software, to a problem that has an automated solver. For example, due to their increasing efficiency and expressiveness, in the last decade, automated logic solvers have been used extensively and effectively in automating software engineering tasks. Another less common approach is to use automata-theoretic algorithms. In this talk, I will discuss some of the research conducted at the Verification Lab at UCSB that explores connections among software, logic, and automata for automated testing, verification, and repair of software.

ABOUT THE SPEAKER: 

Tevfik Bultan is a Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB). His research interests are in software verification, program analysis, software engineering, and computer security. He co-chaired the program committees of the 20th International Symposium on the Foundations of Software Engineering (FSE 2012) and the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013). He was the general chair of the 2017 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2017). He is currently co-chairing the Program Committee of the 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019). He has been an Associate Editor of the IEEE Transactions on Software Engineering (TSE) and the ACM Transactions on Software Engineering (TOSEM). He received a NATO Science Fellowship from the Scientific and Technical Research Council of Turkey (TUBITAK) in 1993, a Regents' Junior Faculty Fellowship from the University of California, Santa Barbara in 1999, a Faculty Early Career Development (CAREER) Award from the National Science Foundation in 2000, the ACM SIGSOFT Distinguished Paper Award and the Best Paper Award at the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), the ACM SIGSOFT Distinguished Paper Award at the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), and the UCSB Academic Senate Outstanding Graduate Mentor Award in 2016. He was recognized as an ACM Distinguished Scientist in 2016.