Today @ UC Irvine

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

Event Type

Lectures / Presentations, Speakers, Technology


General Public, Students




Information & Computer Sciences


Event Sponsor

UCI Institute for Software Research

Add to Calendar

Recent Activity

max gray

max gray 1/20/2019

Excellent website! I discovered so many handy things that I’ve put in a lot of time searching for on many other websites. I would definitely suggest it to anyone.