PhD Seminar • Formal Methods • A Game-Based Approach to Local Synthesis of Parametrized Protocols
Please note: This PhD seminar will take place online.
Ruoxi Zhang, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Richard Trefler