Kunpeng Wang | 王鲲鹏
I am Kunpeng Wang, an undergraduate student in Computer Science from ACM Class, Shanghai Jiao Tong University. I will graduate in Summer 2026 and join MIT EECS as a Ph.D. student in Fall 2026, advised by Prof. Mengjia Yan.
I aim to expand the frontiers of verifiable security, building secure systems and developing more scalable verification methods. My long-term career goal is to become an independent researcher in computer security and formal verification, making innovative and impactful contributions to these fields.
I worked with Prof. Mengjia Yan as a research intern in MIT from May to Dec 2025. I also work with Prof. Guoxing Chen at NSEC Lab in SJTU.
Research Experience
Research Intern
- Advised by Prof. Mengjia Yan
- Research Topic: secure (out-of-order) processor design and verification.
Student Researcher
- Advised by Prof. Guoxing Chen
- Research Topic: verifiable interrupt-based side-channel mitigation for trusted execution environment.
Publications
TO BE UPDATED SOON.
Awards
Some. Please check my CV for details.
Miscellaneous
Apart from my passion for computer science, I have a wide range of interests and hobbies.
- I am happy playing Table Tennis, Volleyball, swimming and other sports.
- I enjoy cooking and sharing delicious food, mainly Chinese cuisine.
- I have been using Linux(Archlinux)+KDE for years and am a big fan of open-source software. I love exploring the principle behind the system components.
Skills
- Programming:
- Frameworks:
- Tools:
- Languages: