Zongxin Liu (Preferred)
Zongxin Liu
PhD student, Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software, Chinese Academy of Sciences
Joined
July 2024
Names
Emails
****@ios.ac.cn (Confirmed)
****@qq.com (Confirmed)
Personal Links
Career & Education History
PhD student
Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software, Chinese Academy of Sciences (ios.ac.cn)
2021 – 2027
Advisors, Relations & Conflicts
Expertise
Formal Verification
2021 – 2027
Neural Network Verification
2021 – 2027