Scholar

Azadeh Farzan

Google Scholar ID: n9Kg_LUAAAAJ

Associate Professor, University of Toronto

Formal Verification

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

834

H-index

18

i10-index

30

Publications

20

Co-authors

10

list available

Contact

No contact links provided.

Publications

4 items

Parametrizing Reads-From Equivalence for Predictive Monitoring

2026

Cited

0

Symmetric Proofs of Parameterized Programs

2026

Cited

0

Enhanced Data Race Prediction Through Modular Reasoning

2025

Cited

0

Products of Recursive Programs for Hypersafety Verification

2025

Cited

0

Resume (English only)

Co-authors

10 total

Zachary Kincaid

Princeton University

Madhusudan Parthasarathy

Professor of Computer Science, University of Illinois at Urbana-Champaign

Research Fellow/Professor, Academia Sinica

University of Illinois at Urbana Champaign