Azadeh Farzan

Registered user since Tue 14 Feb 2017

Name:Azadeh Farzan

I am a Professor at University of Toronto.

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


POPL 2023 Stratified Commutativity in Verification Algorithms for Concurrent Programs
VMCAI 2023 A Pragmatic Approach to Stateful Partial Order Reduction
Show activities from other conferences

POPL 2023-profile
View general profile