Jian Zhang (Preferred)
Jian Zhang
Full Professor, Institute of Software, Chinese Academy of Sciences
Joined
May 2021
Names
Emails
****@ios.ac.cn (Confirmed)
Personal Links
Career & Education History
Full Professor
Institute of Software, Chinese Academy of Sciences (ios.ac.cn)
1999 – Present
PhD student
Institute of Software, Chinese Academy of Sciences (ios.ac.cn)
1991 – 1994
Advisors, Relations & Conflicts
Coauthor
Jun Yan
2002 – 2023
Expertise
Program Analysis and Software Testing
2000 – Present
Automated Reasoning and Constraint Satisfaction
1991 – Present