PhD Defence Notice: Scalable Program Analysis: Abstract Interpretation Techniques and Practical Applications

Tuesday, June 2, 2026 3:00 pm - 5:00 pm EDT (GMT -04:00)
Export this event to calendar
iCal

Candidate: Yusen Su

Date: June 2, 2026

Time: 3:00 PM

Location: EIT 3142

Supervisors: Gurfinkel, Arie

Location Information
Location Address: EIT - Centre for Environmental and Information Technology
200 University Avenue West
Room 3142
Waterloo, ON, CA  N2L 3G1
Location coordinates: