- Sponsor
- Illinois Computer Science
- 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)