Azadeh Farzan

Azadeh Farzan is a Professor and Vice Chair in the Department of Computer Science at the University of Toronto, specializing in automated reasoning and software verification. She leads research in concurrency, program synthesis, and probabilistic systems with significant contributions to formal methods.

Her research interests focus on automated verification of concurrent programs, where she develops novel techniques for detecting data races, proving termination, and synthesizing correct-by-construction code. Key areas include commutativity-based reasoning, hypersafety properties, and probabilistic program analysis, addressing challenges in scalability and modularity for real-world systems.

Farzan has received the 2023 Amazon Research Award for her work on data race detection predictability. She serves on prestigious conference committees including CAV (2025 Area Chair) and POPL (2025 Program Committee), having previously chaired CAV 2016 and POPL 2021.

She advises doctoral students such as Victor Nicolet and Emanuele D’Osualdo, with research funded through collaborations like the Amazon Scholars program. Her work bridges theoretical foundations and practical tools for software reliability, impacting both academia and industry.