About
mbagherz@iastate.edu
PhD student, working with Hridesh Rajan and Gary T. Leavens on Ptolemy and Tisa projects.Laboratory for software design, Dept. of computer science, Iowa state university
Research interests
- Software specification & verification
- Static analysis based program verification
- Programming languages design & implementation
Key Publications
-
Mehdi Bagherzadeh, Hridesh Rajan, Ali Darvish @ AOSD.13
On Exceptions, Events and Observer Chains
Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens and Sean Mooney @ AOSD.11
Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces
-
Mehdi Bagherzadeh, Gary T. Leavens and Robert Dyer @ FOAL.11
Applying Translucid Contracts for Modular Reasoning about Aspect and Object Oriented Events - ... More
Awards
- Dr. Robert Stewart Early Research Recognition Award