Mehdi Bagherzadeh

Assistant Professor
Dept. of Computer Science & Engineering
Oakland University

email: mbagherzadeh@oakland.edu
office: 542 Engineering Center

Ph.D., Iowa State University, 2016

Laboratory for Correct Software


    award Best Papers of Modularity'15          Mehdi Bagherzadeh Robert Dyer, Rex D. Fernando, Jose Sanchez and Hridesh Rajan, Modular Reasoning in the Presence of Event Subtyping, Modularity'15: 14th International Conference on Modularity, Fort Collins, Colorado, USA, March 2015



Posters and extended abstracts

    Henrique Rebelo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Marcio Cornelio, and Thomas Thum, Modularizing crosscutting contracts with AspectJML, Modularity '14: 13th International Conference on Modularity, 2014

Technical reports and theses

    Mehdi Bagherzadeh. Toward a concurrent programming model with modular reasoning. PhD thesis, Iowa State University, Iowa, USA, 2016