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/


  • Software Development and Validation for Medical Cyber-Physical Systems

  • Application of Digital Twins in Connected Cars

  • Formal Methods, Model Checking

  • Model-based Software Development


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.Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado and Zhihao Jiang “Digital Behavioral Twins for Safe Connected Cars” ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems 2018 (Accepted)
2.Zhihao Jiang, Houssam Abbas, Pieter J Mosterman, Rahul Mangharam “Automated closed-loop model checking of implantable pacemakers using abstraction trees” ACM SIGBED Review Volume: 14 Issue: 2 Pages: 15-23, 2017
3.Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, Rahul Mangharam “ In-silico pre-clinical trials for implantable cardioverter defibrillators” IEEE 38th Annual International Conference of Engineering in Medicine and Biology Society (EMBC), 2016 
4.Jiang, Zhihao; Abbas, Houssam; Jang, Kuk Jin; Mangharam, Rahul “The Challenges of High-Confidence Medical Device Software” COMPUTER Volume: 49  Issue: 1  Pages: 33-41 Published: JAN 2016  
5.Abbas, Houssam; Jang, Kuk Jin; Jiang, Zhihao; Mangharam, Rahul “Towards model checking of implantable cardioverter defibrillators” Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control Issue date: April 11, 2016 Pages: 87-92
6.Jiang, Zhihao; Mangharam, Rahul “High-confidence medical device software development” Foundations and Trends in Electronic Design Automation Volume: 9 Issue: 4 Publication year: 2015 Pages: 309-391
7.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  Volume: 13  Special Issue: SI  Article Number: 127 Supplement: 4  Published: JUL 2014  
8.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 Volume: 16  Issue: 2  Pages: 191-213  Published: APR 2014  
9.Jiang, Zhihao; Pajic, Miroslav; Mangharam, Rahul “Cyber-Physical Modeling of Implantable Cardiac Medical Devices” PROCEEDINGS OF THE IEEE  Volume: 100 Issue: 1  Special Issue: SI  Pages: 122-137  Published: JAN 2012  
10.Pajic, Miroslav; Jiang, Zhihao; Lee, Insup; Sokolsky, Oleg; Mangharam, Rahul “From verification to implementation: A model translation tool and a pacemaker case study” Proceedings -18th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2012 Publication year: 2012 Pages: 173-184
11.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
12.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 
13.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