Azadeh Farzan

Azadeh Farzan is a Professor and Vice Chair in the Computer Science Department at the University of Toronto. She specializes in formal verification, program analysis, and automated reasoning. Her work focuses on decision procedures, model checking, and logic-based approaches to software reliability. She has held academic roles including postdoctoral research at Carnegie Mellon University under Edmund M. Clarke, and earned her PhD from the University of Illinois at Urbana-Champaign under José Meseguer.

She teaches advanced courses such as CSC410, emphasizing formal methods and tools like Dafny for program verification. Her educational contributions include developing tutorials on verification techniques, loop invariants, and SMT solving. Farzan is actively involved in organizing academic conferences, serving as Program Committee member or Area Chair for events like CAV, POPL, PLDI, and VMCAI across multiple years.

Her research interests span verification frameworks, static analysis, and the application of logical formalisms to ensure software correctness. She has contributed to the development of verification tools and pedagogical materials for teaching formal methods in CS curricula.