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
• 

  Hang Gao

  Senior Engineer

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

  Rong Qu

  Engineer

  Program analysis, Software testing and Compiler testing
• 

  Shixin Zhang

  Engineer

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

Postdoctoral Fellows

• 

  Baoquan Cui

  Postdoctoral Fellow

  Program Analysis and Software Testing
• 

  Jinlong He

  Postdoctoral Fellow

  Program Verification, Analysis and Testing
• 

  Fuqi Jia

  Postdoctoral Fellow

  Automated Reasoning and Constraint Solving