Azadeh Farzan
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
6 items
Complete Local Reasoning About Parameterized Programs Over Topologies
2026
Cited
0
On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
2026
Cited
0
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
Zachary Kincaid
Princeton University
Madhusudan Parthasarathy
Madhusudan Parthasarathy
Professor of Computer Science, University of Illinois at Urbana-Champaign
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Yu-Fang Chen
Yu-Fang Chen
Research Fellow/Professor, Academia Sinica
Grigore Rosu
Grigore Rosu
University of Illinois at Urbana Champaign
Co-author 8
Co-author 8