School of Engineering and Computer Science

Engineering Center, Room 301
115 Library Drive
Rochester, MI 48309-4479
(location map)
Dean's Office: (248) 370-2217
Academic Advising: (248) 370-2201
secsadvising@oakland.edu

School of Engineering and Computer Science

Engineering Center, Room 301
115 Library Drive
Rochester, MI 48309-4479
(location map)
Dean's Office: (248) 370-2217
Academic Advising: (248) 370-2201
secsadvising@oakland.edu

Mehdi Bagherzadeh, Ph.D.

Headshot of Mehdi Bagherzadeh

Assistant Professor
Computer Science and Engineering Department
(248) 370-2208
mbagherzadeh@oakland.edu

Ph.D., Iowa State University


Teaching

  • CSE 231/506: Object Oriented Computing II

Research

  • Making engineering of correct software easier for concurrent, secure, mobile and big data software

Selected Publications

  1. Modular reasoning in the presence of event subtyping. In Transactions on Modularity and Composition 1, special edition: Best papers of Modularity’ 15, pages 167-223, 2016.

  2. On ordering problems in message passing software. In Proceedings of the 15th International Conference on Modularity, MODULARITY 2016, pages 54-65, New York, NY, USA, 2016.

  3. Panini: A concurrent programming model for solving pervasive and oblivious interference. In Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, pages 93-108, New York, NY, USA, 2015. ACM.

  4. AspectJML: Modular specification and runtime checking for crosscutting contracts. In Proceedings of the 13th International Conference on Modularity, MODULARITY ’14, pages 157-168, New York, NY, USA, 2014.

  5. On exceptions, events and observer chains. In Proceedings of the 12th Annual International Conference on Aspect-oriented Software Development, AOSD ’13, pages 185-196, New York, NY, USA, 2013. ACM.

  6. Translucid contracts: Expressive specification and modular verification for aspect-oriented interfaces. In Proceedings of the Tenth International Conference on Aspect-oriented Software Development, AOSD ’11, pages 141-152, New York, NY, USA, 2011. ACM.