|
个人简介 |
江智浩于2008年本科毕业于电子科技大学测控技术与仪器专业,后赴美国宾夕法尼亚大学深造。分别于2010年和2016年获得机器人硕士学位和计算机博士学位。随后加入位于美国硅谷的丰田信息科技研究中心担任研究员,从事基于模型的软件开发与验证在智能医疗仪器和车联网领域的应用研究。他于2018年7月全职加入上海科技大学信息科学与技术学院,任助理教授、研究员。 |
主要研究内容 |
智能医疗仪器软件设计与验证 数字孪生在车联网中的应用 形式逻辑、模型检查 基于模型的软件开发 |
代表性论文 |
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 |