Members

Faculty

Leader

• 

  Jian Zhang

  Professor

  PhD Supervisor

  Automatic reasoning, Constraint solving, Static analysis and Software testing

Members

• 

  Jun Yan

  Professor

  PhD Supervisor

  Program analysis and Software testing

• 

  Feifei Ma

  Professor

  PhD Supervisor

  Automatic reasoning and Constraint solving

• 

  Rongjie Yan

  Associate Professor

  Master Supervisor

  Analysis and Verification of Embedded, Intelligent Systems

• 

  Jiwei Yan

  Associate Professor

  Master Supervisor

  Mobile App Analysis and Testing, Intelligent Software Engineering

• 

  Rong Qu

  Engineer

  Program analysis, Software testing and Compiler testing

• 

  Shixin Zhang

  Engineer

  RISC-V cross-architecture migration, Program analysis, Software testing

• 

  Hang Gao

  Engineer

  Graph Representation Learning, Artificial Intelligence for Software Engineering, Large Langugage Model

Postdoctoral Fellows

• 

  Baoquan Cui

  Postdoctoral Fellow

  Program Analysis and Software Testing

• 

  Jinlong He

  Postdoctoral Fellow

  Program Verification, Analysis and Testing