Write a Blog >>
Azadeh Farzan

Registered user since Tue 14 Feb 2017

Name: Azadeh Farzan

Country: Canada

Affiliation: University of Toronto

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

Research interests: Programming Languages, Formal Verification

Contributions

POPL 2020Author of Reductions for Safety Proofs within the Research Papers-track
Show activities from other conferences

Using general profile