Research
Interests
Software
Engineering, Programming Languages, Software Verification,
Formal Methods, Security (all with an emphasis on
concurrency)
Resume
[PDF]
Research
Statement
[PDF]
Teaching
Statement
[PDF]
References
Professor Edmund M. Clarke
School
of Computer Science
Carnegie Mellon University
5000 Forbes Avenue, Pittsburgh, PA 15213
Email: Edmund.Clarke@cs.cmu.edu
Phone: (41) 268-2628
Professor José
Meseguer
Department of Computer Science
University of Illinois at Urbana Champaign
201 N Goodwin Ave, Urbana, IL 61801
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
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
Phone: (217) 244-7413
Three
Sample Publications:
Azadeh
Farzan, Y. Chen,
E. M. Clarke,
Y. Tsan,
B. Wang:
Extending Automated Compositional Verification to the Full
Class of Omega-Regular Languages.
To appear in Proceedings of Tools and Algorithms for the
Construction and Analysis of Systems (TACAS)
2008
[PDF]
.
Azadeh
Farzan,
P. Madhusudan:
Causal Atomicity.
In Proceedings of Computer Aided Verification (CAV) 2006,
Lecture Notes in Computer Science, volume 4144:
315--328.
[PDF]
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,
volume 3116: 132--147.
[PDF]