Azadeh Farzan

Registered user since Tue 14 Feb 2017

Name: Azadeh Farzan

Country: Canada

Affiliation: University of Toronto

Personal website:

Research interests: Programming Languages, Formal Verification


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

ECOOP 2019-profile
View general profile