PhD Comprehensive Proposal Examination Notice: Bounded Model Checking of Systems Code

Monday, December 11, 2023 10:00 am - 1:00 pm EST (GMT -05:00)
Export this event to calendar
iCal

Candidate: Siddharth Priya

Date: December 11, 2023

Time: 10:00 am - 1:00 pm

Place: EIT 3151-53

Supervisor(s): Gurfinkel, Arie

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