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
- 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)