SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Azadeh Farzan

Registered user since Tue 14 Feb 2017

Name:Azadeh Farzan
Bio:

I am a Professor at University of Toronto.

Country:Canada
Affiliation:University of Toronto
Research interests:Formal Verification, Concurrency, Synthesis, Theory

Contributions

SPLASH 2022 Proving Hypersafety Compositionally
Show activities from other conferences

Using general profile