Zijiang James Yang

Full Professor, University of Science and Technology of China
Joined
November 2022

Names

Zijiang James Yang (Preferred)
, 
Zijiang Yang

Emails

****@guardstrike.com (Confirmed)
, 
****@ustc.edu.cn (Confirmed)

Personal Links

Career & Education History

Full Professor
University of Science and Technology of China (ustc.edu.cn)
2024 – 2030
PhD student
University of Pennsylvania (cis.upenn.edu)
2000 – 2003
MS student
Rice University (cs.rice.edu)
1996 – 1999
Undergrad student
University of Science and Technology of China (ustc.edu.cn)
1991 – 1996

Advisors, Relations & Conflicts

PhD Advisor
Rajeev Alur
2000 – 2003
PhD Advisor
Moshe Vardi
1996 – 1999

Expertise

autonomous driving
, 
simulation
2019 – 2025
software engineering
, 
formal verification
, 
model checking
, 
software testing
1996 – 2023

Publications

Co-Authors