• / 江智浩 助理教授、研究员
    邮箱: jiangzhh@@shanghaitech.edu.cn
    电话:(021) 20684860
    办公室: 信息学院2-302.E室
    专业方向: 计算机科学与技术
江智浩 助理教授、研究员

电 话:(021) 20684860
邮 箱:jiangzhh@@shanghaitech.edu.cn
办公室:信息学院2-302.E室
个人主页: http://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/
专业方向:计算机科学与技术
博士毕业院校:美国宾夕法尼亚大学

研究领域

  • 智能医疗仪器

  • 智能手术辅助系统

  • 基于生理模型的诊断辅助

  • 认知模型在智能驾驶中的应用


个人简历

江智浩于2008年本科毕业于电子科技大学测控技术与仪器专业,后赴美国宾夕法尼亚大学深造。分别于2010年和2016年获得机器人硕士学位和计算机博士学位。随后加入位于美国硅谷的丰田信息科技研究中心担任研究员,从事基于模型的软件开发与验证在智能医疗仪器和车联网领域的应用研究。他于2018年7月全职加入上海科技大学信息科学与技术学院,任助理教授、研究员。


代表性论文

  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.