- Sponsor
- Siebel School Academic Office
- Originating Calendar
- Siebel School Graduate Calendar
Thesis Title: Neuro-Symbolic Code Translation and Validation
Reyhaneh Jabbarvand Behrouz, Chair and Director of Research
Darko Marinov
Sasa Misailovic
Saurabh Sinha, IBM Research
Daniel Kroening, Amazon Web Services
If you wish to attend via zoom, please email Chair or student for Zoom password prior to exam.