Azadeh Farzan

Azadeh Farzan is a Professor and Vice Chair in the Computer Science Department at the University of Toronto. Her research interests include programming languages, formal methods, software engineering, program synthesis, program verification, parallel computing, concurrency, and distributed computing. She has served on program committees and as an area chair for major conferences such as CAV and POPL. Farzan completed a post-doctoral fellowship at Carnegie Mellon University with Edmund M. Clarke and earned her PhD from the University of Illinois at Urbana-Champaign under José Meseguer.

Azadeh Farzan is an Associate Professor at the University of Toronto, specializing in Formal Verification. Her research focuses on developing techniques for verifying the correctness of software systems, particularly in the context of concurrency and program analysis. She has contributed to the development of tools and methodologies for detecting atomicity violations, compositional verification, and automated reasoning. Her work includes formal analysis of Java programs, monitoring atomicity in concurrent systems, and extending automated verification to omega-regular languages. Farzan's research emphasizes the integration of formal methods with practical software engineering practices to ensure the reliability and correctness of complex systems.