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 57

Thesis title:  Rewriting-based Model Checking Methods

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

link for robots only