Azadeh Farzan - POPL 2018

Registered user since Tue 14 Feb 2017

Name:Azadeh Farzan

Country:Canada

Affiliation:University of Toronto

Research interests:Programming Languages, Formal Verification

Contributions

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