Hi! This is Yazhou ☺️

I am a first-year master’s student at the Formal Verification Group of Zhejiang University (FICTION-ZJU), working under the guidance of Prof. Mingshuai Chen and Dr. Shenghao Yuan.

I obtained my Bachelor degree from Shanghai Jiao Tong University, advised by Prof. Qinxiang Cao. After that, I worked as a Software Engineer at Bilibili Inc. for over a year.

Research

My research interests lie in programming languages and formal method.

Currently exploring

• Formal verification of Linux eBPF verifier.
• Memory safefy analysis/verification about system software.

Publications

NULL 😅

Education & Experience

• Master’s student in Computer Science. Zhejiang University. 2025.9-2028.6 (expected)
• Software Engineer. Bilibili Inc. 2023.7-2024.10
• B.Eng in Computer Science. Shanghai Jiao Tong University. 2019.9-2023.6

News

• [May 2025] Joined the Formal Verification Group
• [Mar 2025] Admitted to Zhejiang University as a master’s student 🎉

Contact

Feel free to contact me!

• Email:
  • Personal: tangyazhou518 [at] outlook [dot] com
  • Work: tangyazhou [at] zju [dot] edu [dot] cn
• GitHub, LinkedIn

Resources