Wankupi's Website

Kunpeng Wang | 王鲲鹏

Hi, I am Kunpeng Wang, an incoming PhD student at MIT EECS started from Fall 2026, advised by Prof. Mengjia Yan. If you are interested in my research, please feel free to contact me at kunpengw@mit.edu.

Prior to that, I got my Bachelor's degree in Computer Science from ACM Class, Shanghai Jiao Tong University. I worked with Prof. Guoxing Chen at NSEC Lab in SJTU. I was a research intern with Prof. Mengjia Yan in MIT from May 2025 to Dec 2025.

Publications

Research Experience

Matcha Lab, MIT

CompletedMay. 2025 ~ Dec. 2025

Research Intern

  • Advised by Prof. Mengjia Yan
  • Research Topic: secure (out-of-order) processor design and verification.
Hardware SecurityVerification

NSEC Lab, SJTU

OngoingJune. 2024 ~ June. 2026

Student Researcher

  • Advised by Prof. Guoxing Chen
  • Research Topic: verifiable interrupt-based side-channel mitigation for trusted execution environment.
TEESide-Channel

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: C/C++PythonTypeScriptRustVerilogCoq
  • Frameworks: VueFastAPIFlaskSQL
  • Tools: GitLaTeXDocker
  • Languages: EnglishChinese
Last Updated on 7/26/2026