Computer Science Department Master Calendar

Computer Science Department Master Calendar

skip to events

calendar tabs

  •  All 
  • Grid
  • Month
  • Week
  • Day
  • (Selected tab) Detail

Event Detail Information

Event Detail Information

Final Exam of Kyungmin Bae

Date Jun 16, 2014
Time 9:00 am  
Location 2102 Siebel Center
Sponsor Department of Computer Science
Event type Dissertation Defense
Views 56
Originating Calendar Computer Science PhD Final Exams

Thesis title:  Rewriting-based Model Checking Methods

Thesis committee:
Jose Meseguer, Director/Chair
Gul Agha
Grigore Rosu
Edmund Clarke

link for robots only