Name:Azadeh Farzan

Country:Iran

Affiliation:University of Toronto

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