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

ECOOP 2019Keynote Speaker of Rethinking Compositionality: Composing Proofs From Program Behaviours within the ECOOP Research Papers-track
Show activities from other conferences

Using general profile