Grainger College of Engineering, All Events

View Full Calendar

Final Defense of Lucas Pena

Event Type
Other
Sponsor
Illinois Computer Science
Virtual
Join online
Date
Jan 13, 2022   10:00 am  
Contact
Lucas Pena
E-Mail
lpena7@illinois.edu
Views
29
Originating Calendar
Siebel School Graduate Calendar

Thesis Title: Advancements in Automated First-Order Verification
Committee:
Grigore Rosu, Chair and Director of Research
Madhusudan Parthasarathy
Jose Meseguer
Christof Löding (RWTH Aachen University)

link for robots only