Grainger College of Engineering, All Events

View Full Calendar

Final Defense of Nishant Rodrigues

Event Type
Other
Sponsor
Siebel School Academic Office
Location
Siebel Center 4407
Virtual
wifi event
Date
Nov 7, 2024   2:30 pm  
Views
20
Originating Calendar
Siebel School Graduate Calendar

Thesis Title: Certified Reasoning for Fixpoints and Concrete Execution in Matching Logic

Grigore Rosu, Director of Research and Co-Chair

Jose Meseguer

Lingming Zhang

Santiago Escobar, CatedrĂ¡tico de Universidad


If you wish to attend via zoom, please email Chair or student for Zoom password prior to exam.

link for robots only