Research
Interests
Software
Engineering, Programming Languages, Software Verification,
Formal Methods, Security (with an emphasis on
concurrency)
Resume
[PDF]
Research
Statement
[PDF]
Teaching
Statement
[PDF]
References
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 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 Gul Agha
Department of Computer Science
University of Illinois at Urbana Champaign
201 N Goodwin Ave, Urbana, IL 61801
Email: agha@cs.uiuc.edu
Phone: (217) 244-3087
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,
P. Madhusudan:
Causal Dataflow Analysis for Concurrent
Programs.
To appear in proceedings of Tools and Algorithms for the
Construction and Analysis of Systems (TACAS)
2007.
[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:
Atomicity 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]