Mehdi Bagherzadeh

Assistant Professor
Dept. of Computer Science & Engineering
Oakland University

email: mbagherzadeh AT 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 as 65 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 2023, Winter 2022, Winter 2020, Winter 2019, Fall 2018
    CSI/APM 3430: Theory of Computation, [undergrad], Fall 2022, Fall 2021, 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 4700/5720: Software Security [undergrad/grad], Fall 2022, Fall 2021, Fall 2020, Fall 2019, Winter 2019, Winter 2018, Winter 2017
    CSI 5200: Fundamentals of Software Modeling [grad], Winter 2023, Winter 2022, Winter 2021

Current Students

    Mohsen Moradi Moghadam (Ph.D.)
    Li Sa (Ph.D.)
    Aamani Doguparthi (Ph.D.)


    Srilakshmi Sripathi, M.Sc., 2020 (Ford Motor Company)
    Mohammed Awan, B.Sc., 2019
    Benjamin Diehl, B.Sc., 2019
    Syed Ahmed, B.Sc., 2017

Synergistic Activities

Organizing committee
SPLASH.23, 22, 21, 20     ASE.22     FSE.18     PLRP@COMPSAC.18     Midwest Big Data Summer School.16    
Program committee
ICSME.DS.22   ASE.IWoR.22   SPLASH.SRC.21   ECOOP.COP.21, 22  ASE.NIER.21, 20   OOPSLA.20   CBSoft.SBES.20, 18, 17   SPLASH.AGERE.19   Programming.19   ESEC/FSE.WASPI.18   ICSE.WAPI.18   COMPSAC.SETA.18, 17   SPLASH.REBLS.16   MODULARITY.FOAL.16   SPLASH.AE.14   CBSoft.WMod.14   CBSoft.LA-WASP.13  
DOE.22, 21 
TSE.22,21,20,19,18, 16  ISSE.21  JOT.21   TDSC.20  EMSE.19  JSS.22,18,16  JSERD.18  COMP.17  TECS.17  IST.17, 12  SCP.15  COMLAN.15 
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