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
|CC 2023||Committee Member in Program Committee within the Research Papers-track|
|Show activities from other conferences|
Using general profile