Computer Science Department Master Calendar

View Full Calendar

Final Defense of Lucas Pena

Event Type
Other
Sponsor
Illinois Computer Science
Virtual
wifi event
Date
Jan 13, 2022   10:00 am  
Contact
Lucas Pena
E-Mail
lpena7@illinois.edu
Views
23
Originating Calendar
Computer Science 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