- Sponsor
- Siebel School Academic Office
- Views
- 14
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.