Zhihao Jiang, Assistant Professor

Zhihao Jiang, Assistant Professor

Tel:  (021) 20684860
Email: jiangzhh@@shanghaitech.edu.cn
Office: Room 2-302E, SIST Building
Major: CS
Website: http://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/
Education: Ph.D., University of Pennsylvania, USA


  • Medical Cyber-Physical Systems (MCPS)

  • Clinical Assist Systems

  • Model-based Diagnostic Assist

  • Applications of Cognitive Models in Semi-autonomous Driving


Dr. Jiang received his bachelor degree in Technology and Instruments in Test and Control from the University of Electronics Science and Technology of China in 2008. He received his master's degree in Robotics and Ph.D in Computer Science from the University of Pennsylvania in 2010 and 2016, respectively. In August of 2017, he joined Toyota InfoTechnology Center U.S.A as a researcher. His research interest is model-based software development and its applications in medical Cyber-Physical Systems and Connected Cars. In July 2018, He joined the School of Information Science and Technology in ShanghaiTech University as a tenure track assistant professor.


  1. Nicola Paoletti, Zhihao Jiang, Md Ariful Islam,et al, “Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices”, in Proceedings of 2019 10th ACM/IEEE International Conference On Cyber-Physical Systems(ICCPS 2019), 2019.                  

  2. Raghavan Santhana Gopalan, Watanabe Kosuke, Kang Eunsuk, Lin Chung-Wei, Jiang Zhihao, Shiraishi Shinichi, “Property-driven runtime resolution of feature interactions”, in Proceedings of 18th International Conference on Runtime Verification (RV 2018), 2018.

  3. Kuk Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, Rahul Mangharam, “Computer Aided Clinical Trials for Implantaule Cardiac Devices”, in Proceedings of 2018 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2018.

  4. Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado and Zhihao Jiang, “Digital Behavioral Twins for Safe Connected Cars”, in Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems(Accepted), 2018.

  5. Zhihao Jiang, Houssam Abbas, Pieter J Mosterman, Rahul Mangharam “Automated closed-loop model checking of implantable pacemakers using abstraction trees”, ACM SIGBED Review vol. 14, issue 2, pp. 15-23, 2017.

  6. Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, Rahul Mangharam “In-silico pre-clinical trials for implantable cardioverter defibrillators”, in Proceedings of IEEE 38th Annual International Conference of Engineering in Medicine and Biology Society (EMBC), 2016.

  7. Jiang Zhihao, Abbas Houssam, Jang Kuk Jin, Mangharam Rahul, “The Challenges of High-Confidence Medical Device Software”, COMPUTER, vol. 49, issue 1, pp. 33-41, January 2016.

  8. Abbas Houssam, Jang Kuk Jin, Jiang Zhihao, Mangharam Rahul, “Towards model checking of implantable cardioverter defibrillators”, in Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, pp. 87-92, April 11, 2016.

  9. Jiang Zhihao, Mangharam Rahul, “High-confidence medical device software development”, Foundations and Trends in Electronic Design Automation, vol. 9, issue 4, pp. 309-391, 2015.

  10. Pajic Miroslav, Jiang Zhihao, Lee Insup, Sokolsky Oleg, Mangharam Rahul, “Safety-Critical Medical Device Development Using the UPP2SF Model Translation Tool”, ACM Transactions on Embedded Computing Systems, vol. 13, special issue SI, article number 127, supplement 4, July 2014.

  11. Jiang Zhihao, Pajic Miroslav, Alur Rajeev, Mangharam Rahul, “Closed-loop verification of medical devices with model abstraction and refinement”, International Journal on Software Tools for Technology Transfer, vol. 16, issue 2, pp. 191-213, April 2014.

  12. Jiang Zhihao, Pajic Miroslav, Mangharam Rahul, “Cyber-Physical Modeling of Implantable Cardiac Medical Devices”, in Proceedings of the IEEE, vol. 100, issue 1, special Issue SI, pp. 122-137, January 2012.

  13. Pajic Miroslav, Jiang Zhihao, Lee Insup, Sokolsky Oleg, Mangharam Rahul, “From verification to implementation: A model translation tool and a pacemaker case study”, in Proceedings of 18th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS 2012), pp. 173-184, 2012.

  14. Jiang, Zhihao; Pajic, Miroslav; Moarref, Salar; Alur, Rajeev; Mangharam, Rahul “Modeling and verification of a dual chamber implantable pacemaker” Tools and Algorithms for the Construction and Analysis of Systems -18th Int. Conf., TACAS 2012, Publication year: 2012 Pages: 188-203.

  15. Jiang, Zhihao; Pajic, Miroslav; Mangharam, Rahul “Model-based closed-loop testing of implantable pacemakers” Proceedings -2011 IEEE/ACM 2nd International Conference on Cyber-Physical Systems, ICCPS 2011 Publication year: 2011 Pages: 131-140.

  16. Jiang, Zhihao; Pajic, Miroslav; Connolly, Allison; Dixit, Sanjay; Mangharam, Rahul “Real-time heart model for implantable cardiac device validation and verification” Proceedings -22nd Euromicro Conference on Real-Time Systems, ECRTS 2010 Publication year: 2010 Pages: 239-248.