Zhiming Chi (迟智名)'s Homepage

Office: Room 339, Building 5
Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
email: chizm###ios**ac*cn

Contact

I am currently a Ph.D student in the group. My main research interests are:

Sept. 2021 – present: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
Sept. 2017 – Jun. 2021: Mathematics and Applied Mathematics (Bachelor’s degree) at Lanzhou University

Zhiming Chi, Ying Liu, Andrea Turrini, Lijun Zhang, David N. Jansen (): A Scenario Approach for Parametric Markov Decision Processes. In Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II, volume 15261 of Lecture Notes in Computer Science, pages 234-266, 2025. DOI BIB
Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Jingyi Wang, Xiaowei Huang (), Lijun Zhang: Patch Synthesis for Property Repair of Deep Neural Networks. In 47th IEEE/ACM International Conference on Software Engineering ICSE 2025, Ottawa, ON, Canada, April 26 - May 6, 2025, pages 1191-1203, 2025. DOI BIB
刘宗鑫, 迟智名, 赵梦宇, 黄承超, 黄小炜, 蔡少伟, 张立军, 杨鹏飞: 神经网络的增量验证. In 软件学报 36(8):3444-3461, 2025. DOI BIB