Thursday, December 5, 2024 3:00 pm
-
5:00 pm
EST (GMT -05:00)
Candidate: Joseph Tafese
Topic: Compiler Aided Verification
Date: December 5, 2024
Time: 3:00 PM
Place: REMOTE ATTENDANCE
Supervisor(s): Gurfinkel, Arie
The Chair of the Committee is Professor Hamid Jahed Motlagh of the Mechanical and Mechatronics Engineering Department.