PhD Seminar • Formal Methods | Software Engineering • Compositional Analysis of Parameterized Distributed Hybrid Systems
Please note: This PhD seminar will take place in DC 2310.
Raniah Alghamdi, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Richard Trefler