PhD Comprehensive Proposal Examination Notice: Learning-Guided Automated Reasoning

Friday, September 18, 2026 12:00 pm - 3:00 pm EDT (GMT -04:00)
Export this event to calendar
iCal

Candidate: John Lu

Date: September 18, 2026

Time: 12:00 PM – 3:00 PM

Location: EIT 3141

Supervisors: Vijay Ganesh and Arie Gurfinkel