Cheng-Chao Huang (Preferred)
Cheng-Chao Huang
Researcher, Nanjing Institute of Software Technology, CAS
Researcher, Institute of Software, Chinese Academy of Sciences
Joined
May 2021
Names
Emails
****@nj.iscas.ac.cn (Confirmed)
****@njis.ac.cn (Confirmed)
Personal Links
Career & Education History
Researcher
Nanjing Institute of Software Technology, CAS (njis.ac.cn)
2021 – Present
Researcher
Institute of Software, Chinese Academy of Sciences (ios.ac.cn)
2019 – Present
Researcher
Institute of Intelligent Software, Guangzhou (gziis.org)
2019 – 2021
PhD student
East China Normal University (ecnu.edu.cn)
2014 – 2019
Advisors, Relations & Conflicts
Expertise
DNN verification
2020 – 2025
symbolic and algebraic computation
2016 – 2025