Jian Zhang

Institute of Software, Chinese Academy of Sciences

  • Joined May 2021

Names

Jian Zhang (Preferred)

Emails

****@ios.ac.cn (Confirmed)

Personal Links

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

Expertise

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