I am actively recruiting highly motivated graduate/undegraduate students to join my lab.


About

Assistant professor, Dept. of Computer Science & Engineering, Oakland University, USA
mbagherzadeh@oakland.edu

Ph.D., Iowa State University, 2016, advised by Hridesh Rajan


Research interests

My research interest is in making engineering of correct software easier for secure, concurrent, mobile and big data software.
I work at the intersection of Programming Languages, Formal Methods and Software Engineering.


Students

Current
Syed Ahmed (Ph.D.)
Former
Syed Ahmed (B.Sc.)


Select publications

Panini     My work on syntactic control of interference points and behaviors in Panini was the first to enable tractable modular reasoning about a concurrent program in the presence of interference.
  • Mehdi Bagherzadeh and Hridesh Rajan
    Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference
    14th International Conference on Modularity, 2015
    award [best papers of]  [invited to Transactions on Modularity and Composition, 2015]
  • Yuheng Long, Mehdi Bagherzadeh, Eric Lin, Ganesha Upadhyaya and Hridesh Rajan
    On Ordering Problems in Message Passing Software
    15th International Conference on Modularity, 2016
  • Yuheng Long, Mehdi Bagherzadeh and Hridesh Rajan
    Open Effects: Programmer-guided Effects for Open World Concurrent Programs
    Technical Report 13-04, Computer Science, Iowa State University, 2013
  • Ptolemy    My work on static control of behaviors, control flows and interactions of event publishers and subscribers in Ptolemy, was the first to enable tractable modular reasoning about normal and exceptional behaviors and control flows of an event-based program.
  • Mehdi Bagherzadeh Robert Dyer, Rex D. Fernando, Jose Sanchez and Hridesh Rajan
    Modular Reasoning in the Presence of Event Subtyping
    Transactions on Modularity and Composition, special edition: Best papers of Modularity'15, 2016
  • Mehdi Bagherzadeh Robert Dyer, Rex D. Fernando, Jose Sanchez and Hridesh Rajan
    Modular Reasoning in the Presence of Event Subtyping
    14th International Conference on Modularity, 2015
    award [best papers of]  [invited to Transactions on Modularity and Composition, 2015]
  • Henrique Rebelo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel Zimmerman, Marcio Cornelio and Thomas Thum
    AspectJML: Modular Specfication and Runtime Checking for Crosscutting Contracts
    13th International Conference on Modularity, 2014
  • Mehdi Bagherzadeh, Hridesh Rajan and Ali Darvish
    On Exceptions, Events and Observer Chains
    12th International Conference on Aspect Oriented Software Development, 2013
  • Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens and Sean Mooney
    Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces
    10th International Conference on Aspect Oriented Software Development, 2011
  • ... more

    Teaching

    CSE 572: Software security, Winter 2017 [graduate]
    CSE 231/506: Object oriented computing II (Data structures), Fall 2016 [undergraduate/graduate]


    Major awards

  • Teaching Excellence Award, 2015
  • Dr. Robert Stewart Early Research Recognition Award, 2013

  • Synergistic activities

    Organizing committee
    Student Volunteer Co-Chair@FSE.18     Publicity/Web Co-Chair@Midwest Big Data Summer School.16
    Program committee
    SETA@COMPSAC.17   SBES@CBSoft.17   REBLS@SPLASH.16   FOAL@MODULARITY.16   AEC@SPLASH.14   WMod@CBSoft.14   LA-WASP@CBSoft.13  
    Reviewer
    COMP.17  TECS.17  IST.17  TSE.16  JSS.16  SCP.15  COMLAN.15  IST.12 
    External reviewer
    TOSEM.16   ICSE.16   MODULARITY.16   IWACO@ECOOP.16   COMPLAN.15   GPCE.15   SCP.15   SPLASH/OOPSLA.13    AOSD.13   SPLASH/OOPSLA.12   TACAS.12   VSTTE.12   AOSD.11   TAOSD.10   SPE.10   AOSD.10   OOPSLA.09   AOSD.09