Welcome


This is the personal website of Qizhe Yang.


My academic research interests include:

  • Vector Addition System
  • Concurrency Theory
  • Verification on Asynchronous Program

Research

Research

Link

Teaching

Teaching

Link