02-24
Divya Raghunathan FPO

Committee members:  Examiners: Aarti Gupta (adviser), Zachary Kincaid, Mae Milano: Readers: David Walker and Maria Apostolaki

Title: Formal Methods for Networks: Verification, Compilation, and Performance Analysis

Date and Time
Monday February 24, 2025 3:00pm - 5:00pm
Location
Computer Science 302
Event Type
Final Public Oral
Host
Divya Raghunathan

Contributions to and/or sponsorship of any event does not constitute departmental or institutional endorsement of the specific program, speakers or views presented.

CS Talks Mailing List