MASc Seminar: A Lightweight Type System with Uniqueness and Typestates for the Java Cryptography API
Candidate: Alex Liu
Date: August 8, 2023
Time: 3:00 pm
Location: EIT 3145
Supervisor(s): Werner Dietl
Candidate: Alex Liu
Date: August 8, 2023
Time: 3:00 pm
Location: EIT 3145
Supervisor(s): Werner Dietl
Candidate: Xiaomeng Lei
Date: August 10,2023
Time: 1:00pm
Location: remote attendance
Supervisor(s): Mahesh Tripunitara
Candidate: Jonathan Chung
Date: August 15, 2023
Time: 3:00 pm
Location: remote attendance
Supervisor(s): Arie Gurfinkel
Candidate: Islam Mohamed Mahmoud Nasr
Date: August 16, 2023
Time: 10:00am
Location: E5 4047
Supervisor(s): Fakhri Karray
Format: In-person
Location: EIT 3145
Data & Time: 10 AM on Friday, Aug 18, 2023
Supervisor(s) : Wojciech Golab
Title: Snapshotting Mechanisms for Persistent Memory-Mapped Files
Candidate: Michael Wright
Date: August 18, 2023
Time: 2:00pm
Location: EIT 3145
Supervisor(s): Peter Levine and Ahmet Camlica
Candidate: Sulav Shrestha
Date: August 21, 2023
Time: 11:30 am
Location: remote attendance
Supervisor(s): Sebastian Fischmeister
Candidate: Keegan Aaron Fernandes
Title: The Dynamics of Our Behavioural Change Model
Date: August 29, 2023
Time: 10:00 AM
Place: EIT 3142
Supervisor(s): Davison, Dan - Wang, David
Candidate: Prarthana Bhattacharyya
Title: Perception and Prediction in Multi-Agent Urban Traffic Scenarios for Autonomous Driving
Date: September 5, 2023
Time: 12:00 PM
Place: REMOTE ATTENDANCE
Supervisor(s): Czarnecki, Krzysztof
Candidate: Tiancheng Xu
Date: Sept. 6, 2023
Time: 4:30 pm
Location: remote attendance
Supervisor(s): Irene Goldthorpe