Jian Zhang

Pronouns: he/him

Full Professor, Institute of Software, Chinese Academy of Sciences

  • Joined May 2021

Names

Jian Zhang (Preferred)

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
2006 – 2023
 
Coauthor
Jun Yan
2002 – 2023
 

Expertise

Program Analysis and Software Testing
2000 – Present
 
Automated Reasoning and Constraint Satisfaction
1991 – Present