Dapeng Zhi (Preferred)
Dapeng Zhi
Joined
May 2023
Names
Emails
****@163.com (Confirmed)
Personal Links
Career & Education History
PhD student
SEI, East China Normal University (ecnu.edu.cn)
2021 – 2025
Advisors, Relations & Conflicts
Coauthor
Si Liu
2022 – Present
Expertise
NNCSs
, Safety verification
, Robustness verification
, Formal method
2021 – Present