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

POPL 2018 Activities

• Session Chair of Memory and Concurrency (part of POPL 2018 Research Papers)
• Author of Rethinking Compositionality for Concurrent Program Proofs within the VMCAI 2018-track in VMCAI 2018
• Author of Strategy Synthesis for Linear Arithmetic Games within the Artifact Evaluation-track in POPL 2018
• invited speaker in Invited Speakers for VMCAI 2018
• Committee Member in Panelists for PLMW 2018
• Author of Panel II: Life in Grad School (and Beyond) within the PLMW-track in PLMW 2018
• Author of Strategy Synthesis for Linear Arithmetic Games within the Research Papers-track in POPL 2018
• Committee Member in Program Committee for POPL 2018 Research Papers
• Show activities from other conferences