![Azadeh Farzan](https://conf.researchr.org/getProfileImage/azadehfarzan/5e9f9053-0894-4b13-85bc-42b5589cf63c/small.jpg?1711596882000)
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
Personal website: http://www.cs.toronto.edu/~azadeh/
X (Twitter): https://x.com/AzadehFarzan
Research interests:Formal Verification, Concurrency, Synthesis, Theory
Contributions
2022
SPLASH 2022-profile
View general profile
View general profile