Homepage
I am Kunpeng Wang, an undergraduate student in Computer Science from ACM Class, Shanghai Jiao Tong University. I will graduate in Summer 2026.
I am working with Prof.Mengjia Yan as a research intern in MIT from May to Dec 2025. Besides, I works with Prof.Guoxing Chen at NSEC Lab in my home university.
My research interest is mainly about formal verification, architecture, and system security.
I am applying for PhD programs. I have strong self-learning and hands-on practical skills. Please reach out to me if you are looking for PhD students.
Education
2022 ~ 2026
Shanghai Jiao Tong University
B.Eng. of Computer Science and Technology
- Student of ACM Class, Zhiyuan College
Research Experience
June.2024 ~ June. 2026
NSEC Lab in SJTU
- Advised by Prof. Guoxing Chen
- Research Topic: verifiable interrupt-based side-channel mitigation for trusted execution environment.
May.2025 ~ Dec. 2025
Matcha Lab in MIT
- Advised by Prof. Mengjia Yan
- Research Topic: secure (out-of-order) processor design and verification.
Last Updated on 10/3/2025