Jian Zhang (Preferred)
Jian Zhang
- 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 – 2023
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 – 2023
Automated Reasoning and Constraint Satisfaction
1991 – 2023