Cheng-Chao Huang (黄承超)'s Homepage


  • email: chengchao$ ($ implies @)

About me

  • I am a research fellow at Nanjing Institute of Software Technology, ISCAS. Together with Lijun Zhang, we lead the Software Security and Trustworthiness Laboratory. I am also the vice director of the Sino-Europe Joint Institute of Dependable and Smart Software.
  • My research interests include algebraic computation, transcendental number theory, and problems in theoretical computer science. I am also working in the area of trustworthy AI — DNN verification, attack, and defense.


  • 2014 – 2019 East China Normal University: PhD, Computer Software and Theory (supervised by Ming Xu and Zhi-Bin Li)
  • 2010 – 2014 East China Normal University: BE, Computer Science and Technology
  • 2007 – 2010 Jiaxing No.1 Middle School, Zhejiang


  • Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang: Quantitative controller synthesis for consumption Markov decision processes. In Inf. Process. Lett. 180:106342, 2023. DOI BIB
  • Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang: TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models. In IEEE/CVF International Conference on Computer Vision, ICCV 2023, Paris, France, October 1-6, 2023, pages 8293-8305, 2023. DOI BIB
  • Cheng-Chao Huang: Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers. In ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pages 371-379, 2022. DOI BIB
  • Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue (), Lijun Zhang: Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. In 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, pages 2189-2201, 2022. DOI BIB
  • Wei-Peng Cao, Sheng-Dong Li, Cheng-Chao Huang, Yu-Hao Wu, Qiang Wang, Da-Chuan Li, Ye Liu: An Ensemble Fuzziness-Based Online Sequential Learning Approach and Its Application. In Knowledge Science, Engineering and Management - 14th International Conference, KSEM 2021, Tokyo, Japan, August 14-16, 2021, Proceedings, Part I, volume 12815 of Lecture Notes in Computer Science, pages 255-267, 2021. Best paper. DOI BIB
  • Ming Xu, Cheng-Chao Huang, Yuan Feng (): Measuring the constrained reachability in quantum Markov chains. In Acta Informatica 58(6):653-674, 2021. DOI BIB
  • Pengfei Yang, Jianlin Li (), Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang (), Lijun Zhang: Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. In Formal Aspects Comput. 33(3):407-435, 2021. DOI BIB
  • Pengfei Yang, Renjue Li, Jianlin Li (), Cheng-Chao Huang, Jingyi Wang, Jun Sun (), Bai Xue (), Lijun Zhang: Improving Neural Network Verification through Spurious Region Guided Refinement. In Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I, volume 12651 of Lecture Notes in Computer Science, pages 389-408, 2021. DOI BIB
  • Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li: Modelling and Implementation of Unmanned Aircraft Collision Avoidance. In Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, volume 12153 of Lecture Notes in Computer Science, pages 52-69, 2020. DOI BIB
  • Cheng-Chao Huang, Ming Xu, Zhi-Bin Li: A Conflict-Driven Solving Procedure for Poly-Power Constraints. In J. Autom. Reason. 64(1):1-20, 2020. DOI BIB
  • Renjue Li, Jianlin Li (), Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang (), Lijun Zhang, Bai Xue (), Holger Hermanns (): PRODeep: a platform for robustness verification of deep neural networks. In ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pages 1630-1634, 2020. DOI BIB
  • Cheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li: Positive root isolation for poly-powers by exclusion and differentiation. In J. Symb. Comput. 85:148-169, 2018. DOI BIB
  • Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li: Positive Root Isolation for Poly-Powers. In Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pages 325-332, 2016. DOI BIB
  • Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng: Analyzing ultimate positivity for solvable systems. In , pages 395-412, 2016. DOI BIB
  • Qianwen Zhang, Cheng-Chao Huang, Jinkui Xie: Influence Spread Evaluation and Propagation Rebuilding. In Neural Information Processing - 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II, volume 9948 of Lecture Notes in Computer Science, pages 481-490, 2016. Best student paper. DOI BIB