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