Wednesday, May 6, 2026 9:30 am
-
12:30 pm
EDT (GMT -04:00)
PhD Defence • Formal Methods • Synthesizing Parameterized Protocols from Local Temporal Specifications
Please note: This PhD defence will take place in DC 2310.
Ruoxi Zhang, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Richard Trefler