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

Audience

General Public, Students

Website

http://isr.uci.edu/content/tevfik-bultan

Cost

Free

Department
Information & Computer Sciences
Hashtag

#UCIBrenICS

Event Sponsor

UCI Institute for Software Research

Add to Calendar

Recent Activity