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

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


csrankings.org ranks Oakland University 60th in Software Engineering

Research Interest

At the intersection of Software Engineering and Programming Languages, my research focuses on making engineering and programming of correct concurrent and big data software easier.

Select Publications

Google Scholar    DBLP
    award Best Papers Award          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 (Acceptance Rate: 12/25 = 48%)
    Mehdi Bagherzadeh, Hridesh Rajan and Ali Darvish, On Exceptions, Events and Observer Chains, AOSD'13: 12th International Conference on Aspect Oriented Software Development, Fukuoka, Japan, March 2013 (Acceptance Rate: 18/54 = 33%)

Major Awards and Honors



    CSI 3350: Programming Languages [undergrad], Winter 2020, Winter 2019, Fall 2018
    CSI 3430: Theory of Computation, [undergrad], Fall 2020, Fall 2019
    CSI 2310/5006: Data structures, [undergrad/grad], Winter 2021, Fall 2018, Fall 2017, Fall 2016
    CSI 2320: C++ for Programmers, [undergrad], Winter 2020
    CSI 5720: Software Security [grad], Fall 2020, Fall 2019, Winter 2019, Winter 2018, Winter 2017
    CSI 5200: Fundamentals of Software Modeling [grad], Winter 2021

Current Students

    Nicholas Fireman (Ph.D.)
    Anas Shawesh (Ph.D.)
    Mohammad Yahya (Ph.D.)
    Menashi Arumugham (M.Sc.)
    Srilakshmi Sripathi (M.Sc.)


    Mohammed Awan, B.Sc., 2019
    Benjamin Diehl, B.Sc., 2019
    Syed Ahmed, B.Sc., 2017

Synergistic Activities

Organizing committee
SPLASH.20     FSE.18     PLRP@COMPSAC.18     Midwest Big Data Summer School.16    
Program committee
OOPSLA.20   NIER@ASE.20   SBES@CBSoft.20   AGERE@SPLASH.19   Programming.19   WASPI@ESEC/FSE.18   WAPI@ICSE.18   SETA@COMPSAC.18   SBES@CBSoft.18   SETA@COMPSAC.17   SBES@CBSoft.17   REBLS@SPLASH.16   FOAL@MODULARITY.16   AEC@SPLASH.14   WMod@CBSoft.14   LA-WASP@CBSoft.13  
TSE.20,19,18  TDSC.20  EMSE.19  JSS.18  JSERD.18  COMP.17  TECS.17  IST.17  TSE.16  JSS.16  SCP.15  COMLAN.15  IST.12 
External reviewer
AGERE.17   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