UC Irvine Today
Software, Logic, and Automata: Automating Dependability of Software
The ISR Distinguished Speaker Series and Department of Informatics are proud to present Tevfik Bultan, Professorl, Department of Computer Science, UC Santa Barbara. In this talk, Professor Bultan 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.
Friday, January 18 at 2:00pm to 3:00pm
Donald Bren Hall, 6011
6210 Donald Bren Hall, Irvine, CA 92697