Registered user since Tue 14 Feb 2017
I am a Professor at University of Toronto.
Affiliation:University of Toronto
Research interests:Formal Verification, Concurrency, Synthesis, Theory
|SPLASH 2022||Proving Hypersafety Compositionally|
|Show activities from other conferences|
Using general profile