Zongxin Liu (Preferred)
Zongxin Liu
Pronouns: he/him
PhD student, Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Chinese Academy of Sciences, 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) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Chinese Academy of Sciences, Chinese Academy of Sciences (ios.ac.cn)
2021 – 2027
Advisors, Relations & Conflicts
Expertise
Formal Verification
2021 – 2027