PhD Comprehensive Proposal Examination Notice: Bounded Model Checking of Systems Code
Candidate: Siddharth Priya
Date: December 11, 2023
Time: 10:00 AM - 1:00 PM
Place: EIT 3151-53
Supervisor(s): Gurfinkel, Arie
Candidate: Siddharth Priya
Date: December 11, 2023
Time: 10:00 AM - 1:00 PM
Place: EIT 3151-53
Supervisor(s): Gurfinkel, Arie
Candidate: Huanyi Chen
Date: December 11, 2023
Time: 1:00 PM
Place: EIT 3141
Supervisor(s): Ward, Paul
Candidate: Pablo Verdugo Rivadeneira
Date: December 12, 2023
Time: 9:00 AM
Place: Remote Attendance
Supervisor(s): Canizares, Claudio - Pirnia, Mehrdad
Candidate: Elikem Buertey
Date: December 12, 2023
Time: 11:00 AM - 12:00 PM
Location: EIT 3141
Supervisor(s): Kshirasagar Naik, Hamed Majedi and Sherman Shen
Candidate: Paul Yang
Date: December 15, 2023
Time: 9:30 AM - 12:30 PM
Place: Remote Attendance
Supervisor(s): Wang, Zhou
Candidate: Mohamed Radwan
Date: December 15, 2023
Time: 10:00 AM
Place: Remote Attendance
Supervisor(s): Pirooz Azad, Sahar
Candidate: Taylor Lee
Date: December 20, 2023
Time: 1:30 PM - 2:30 PM
Place: E5 5047
Supervisor(s): Sebastian Fischmeister
Candidate: Biniyam Deressa
Topic: Toward Robust Federated Learning: Defending Against Poisoning Attacks and Enhanced Client Selection
Date: January 19, 2024
Time: 1:30 PM
Place: Remote Attendance
Supervisor(s): Hasan, Anwar
Candidate: Di Xiao
Title: Robust Sonographic Muscle Quality Assessment: A Real-Time, Accurate Speed-of-Sound Estimation Framework
Date: February 2, 2024
Time: 1:30 PM
Place: EIT 3142
Supervisor(s): Yu, Alfred
Candidate: Muhammad Abuelhamd Mahmoud Muhammad
Topic: Dynamic Modeling, Analysis, and Control of Integrated Electricity and District Heating Systems
Date: February 5, 2024
Time: 2:00 PM
Place: EIT 3142
Supervisor(s): Canizares, Claudio
The Chair of the Committee is Professor Carl Haas of the Civil and Environmental Engineering Department.