Registered user since Tue 14 Feb 2017

Name: Azadeh Farzan

Country: Iran

Affiliation: University of Toronto

Personal website: http://www.cs.toronto.edu/~azadeh/

Research interests: Software Verification, Programming Languages, Formal Methods, and Security (all with an emphasis on concurrency-related issues)

Contributions