Final Exam of Owolabi Legunsen

Event Type

Meeting

Sponsor

Department of Computer Science

Location

4102 Siebel Center

Date

Jul 30, 2019   10:00 am  

Views

43

Originating Calendar

Computer Science Graduate Calendar

Thesis Title: Evolution-Aware Runtime Verification

Committee: Darko Marinov, Chair

Grigore Rosu, Co-Chair

Tao Xie

Sarfraz Khurshid; ECE, UT Austin