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

POPL 2023 Stratified Commutativity in Verification Algorithms for Concurrent Programs
Show activities from other conferences

Using general profile