CV in PDF format

Curriculum Vitae

 Azadeh Farzan

School of Computer Science
Carnegie Mellon University
5000 Forbes Ave
Pittsburgh, Pennsylvania 15213


http://www.cs.cmu.edu/~azadeh/

125 N St Clair ST
APT 310
Pittsburgh, Pennsylvania 15206

Citizen of Iran
Permanent Resident of Canada



Research Interests

Software Engineering, Programming Languages, Software Verification, Formal Methods, Security (all with an emphasis on concurrency)

Education

9/00 – 12/06
University of Illinois at Urbana-Champaign (Urbana, IL), Ph.D. in Computer Science. Thesis Advisor: José Meseguer.

9/96 – 2/00
Sharif University of Technology (Tehran, Iran), B.S. in Computer Engineering. Graduated with honors.

Publications

Ph.D. Thesis: Formal Analysis of Concurrent Programs and Systems: A Semantics- Based Approach, December 2006.

[1] Azadeh Farzan, P. Madhusudan, “Model Checking Atomicity”. In proceedings of Computer Aided Verification (CAV), 2008.
[2] Azadeh Farzan, Yu-Fang Chen, Ed Clarke, Yih-Kuen Tsay, Bow-Yaw Wang, “Extending Automated Compositional Verification
to the Full Class of Omega-Regular Languages”. In proceedings of Tools and Algorithms for the Construction and
Analysis of Systems (TACAS), 2008.
[3] Azadeh Farzan, P. Madhusudan, “Algorithms for Atomicity”. manuscript, 2007.
[4] Azadeh Farzan, José Meseguer, “Partial Order Reduction for Rewriting Semantics of Programming Languages”. In Electronic
Notes in Theoretical Computer Science (ENTCS) 2007, volume 176(4): 61-78.
[5] Azadeh Farzan, P. Madhusudan, “Causal Dataflow Analysis for Concurrent Programs”. In proceedings of Tools and Algorithms
for the Construction and Analysis of Systems (TACAS) 2007, Lecture Notes in Computer Science (LNCS), volume 4424: 102–116.
[6] Azadeh Farzan, P. Madhusudan, “Causal Dataflow Analysis for Concurrent Programs”. Technical Report UIUCDCS-R-2007-2806,
Computer Science Department, University of Il linois at Urbana-Champaign, 2007 (ful l version).
[7] Azadeh Farzan, José Meseguer, “State Space Reduction of Rewrite Theories Using Invisible Transitions”. In proceedings of Algebraic
Methodology and Software Technology (AMAST) 2006, Lecture Notes in Computer Science (LNCS), volume 4019: 142–157.
[8] Azadeh Farzan, P. Madhusudan, “Causal Atomicity”. In proceedings of Computer Aided Verification (CAV) 2006, Lecture Notes in
Computer Science (LNCS), volume 4144: 315–328.
[9] Azadeh Farzan, José Meseguer,“Making Partial Order Reduction Language Independent”. In proceedings of Rewriting Logic
Workshop (WRLA), 2006: 56 – 75.
[10] Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu, “JavaFAN: A Rewriting Logic Approach to Formal Analysis of
Multithreaded Java Programs”. Technical Report UIUCDCS-R-2005-1523, Computer Science Department, University of
Illinois at Urbana-Champaign, 2005.
[11] Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu. “Formal Analysis of Java Programs in JavaFAN”. In proceedings
of Computer Aided Verification (CAV) 2004, Lecture Notes in Computer Science (LNCS), volume 3114: 501–505.
[12] Azadeh Farzan, José Meseguer, Grigore Rosu,“Formal JVM Code Analysis in JavaFAN”.In proceedings of Algebraic Methodology
and Software Technology (AMAST) 2004, Lecture Notes in Computer Science (LNCS), volume 3116: 132–147.



Research and Teaching Experience

2/07 - present
School of Computer Science, Carnegie Mellon University (Pittsburgh, PA)
Post Doctoral Fellow for Professor Edmund Clarke.

1/03 – 12/06
Department of Computer Science, University of Illinois at Urbana-Champaign (Urbana, IL): Research Assistant for Professor José Meseguer.

9/00 – 12/02
Department of Computer Science, University of Illinois at Urbana-Champaign (Urbana, IL): Research Assistant for Professor David Padua.

1/99 – 2/00
Department of Computer Engineering, Sharif University of Technology (Tehran, Iran): Teaching Assistant.

9/96 – 6/97
Farzänegän High School (Supervised by the National Institute for Development of Exceptional Talents), (Tehran, Iran): Physics Teacher.


Honors and Awards

• Post doctoral fellowship from Department of Computer Science of Carnegie Mellon University, Pittsburgh, USA (currently pursuing).

• Post doctoral scholarship in ”Mathematical Logic and Applications” program from University of Freiburg, Germany (not pursued).

• Ranked 1st in Computer Engineering Department of Sharif University of Technology among 75 students (1996-2000).

• Best Young Teacher Award in Farzänegän High School (1997).

• Ranked 50th in the national entrance exam of universities in Iran among 100,000 students (1996).

• Recipient of the silver medal of the National Mathematics Olympiad of Iran, 1995.

• Recipient of the silver medal of the National Physics Olympiad of Iran, 1995.

• Recipient of two bronze medals of the National Informatics Olympiad of Iran, 1994-1995.


Professional Activities

• A member of program committee for Interaction and Concurrency Experience Workshop (2008), affiliated with
International Colloquium on Automata, Languages and Programming (ICALP).

• External reviewer for several conferences and workshops including: ESOP 2008, CAV 2008, TACAS 2007, RTA 2006.


Languages

• Fluent in Farsi (native) and English.
• Good at reading French.

Nationality and Visa

• Citizen of Iran.
• Permanent Resident of Canada.
• Holding an H1b Visa for United States of America.

References


Professor Edmund M. Clarke
School of Computer Science,
Carnegie Mellon University
5000 Forbes Avenue, Pittsburgh, PA 15213
Email: Edmund.Clarke@cs.cmu.edu
Url: http://www.cs.cmu.edu/~emc/
Phone: (41) 268-2628


Professor Jose Meseguer
Department of Computer Science,
University of Illinois at Urbana Champaign
201 N Goodwin Ave, Urbana, IL 61801
Url: http://formal.cs.uiuc.edu/meseguer/
Email: meseguer@cs.uiuc.edu
Phone: (217) 333-6733


Professor Madhusudan Parthasarathy
Department of Computer Science,
University of Illinois at Urbana Champaign
201 N Goodwin Ave, Urbana, IL 61801
Url: http://www- sal.cs.uiuc.edu/~madhu/
Email: madhu@cs.uiuc.edu
Phone: (217) 244-1323


Professor Grigore Rosu
Department of Computer Science,
University of Illinois at Urbana Champaign
201 N Goodwin Ave, Urbana, IL 61801
Email: grosu@cs.uiuc.edu
Url: http://gureni.cs.uiuc.edu/~grosu/
Phone: (217) 244-7413