Welcome

---

This is the personal website of Qizhe Yang.

My academic research interests include:

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

---