PhD Defence Notice: From Mock Environments to Ownership-Aware Compilation: Practical Advances in Low-Level Program Reasoning
Candidate: Siddharth Priya
Date: May 13, 2026
Time: 1:00 PM
Location: EIT 3151-53
Supervisors: Gurfinkel, Arie
Candidate: Siddharth Priya
Date: May 13, 2026
Time: 1:00 PM
Location: EIT 3151-53
Supervisors: Gurfinkel, Arie
Candidate: Paul Yang
Date: May 19, 2026
Time: 10:00 AM
Location: Online - contact the candidate for more information.
Supervisor: Wang, Zhou
Candidate: Sheyang Tang
Date: May 20, 2026
Time: 1:00 PM
Location: Online - contact the candidate for more information.
Supervisor: Wang, Zhou
Join us for the University of Waterloo Local Celebration of IEEE Antenna & Microwave Tech Day 2026.
This free in-person event will feature:
Lunch, coffee, refreshments, and snacks will be provided.
Organized by the IEEE AP-S and IEEE MTT-S Student Branch Chapters at the University of Waterloo.
NOTE: General event registration is welcome. We are currently seeking additional professors and students to participate in invited talks, research demos, and panel discussions. Anyone who is interested or feels their work aligns well with the event themes is encouraged to contact the IEEE Student Branch Chapter Chairs: Sebastian Ratto Valderrama (MTT-S) at srattovalderrama@uwaterloo.ca or A. Mansoori (AP-S) at amansoori@uwaterloo.ca to secure a spot.