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

Jingshu Chen, Ph.D.

Headshot of Jingshu Chen in a black jacket and white shirt

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

Ph.D., Michigan State University


Teaching

  • Software Engineering and Practice

Research

  • Software Reliability
  • Program Verification and Automatic Repair
  • Formal Methods
  • Distributed System

Selected Publications

  1. Ensuring Average Recovery with Adversarial Scheduler. Jingshu Chen, Mohammad Roohitavaf and Sandeep Kulkarni, The International Conference on Principles of Distributed Systems (OPODIS) 2015.

  2. Refinement of Probabilistic Stabilizing Programs Using Generic Algorithms. Ling Zhu, Jingshu Chen and Sandeep Kulkarni, The international Symposium on Stabilization, Safety and Security of Distributed System (SSS) 2015.

  3. The Complexity of Adding Multitolerance. Jingshu Chen, Ali Ebnenasir and Sandeep Kulkarni, ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2014.