Azadeh Farzan is an Associate Professor at the department of computer science in University of Toronto. Her research interests include verification, synthesis, and testing of software.