Kunpeng Wang | 王鲲鹏

邮箱: kunpengw@mit.edu
地址: 31-G786 MIT

Kunpeng Wang | 王鲲鹏

Hi, I am Kunpeng Wang, a PhD student at MIT EECS since 2026 Fall, 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

Interplay of Efficient Model Checking and Secure Processor Design: A Case Study on Secure Speculation

Tingzhen Dong*, Kunpeng Wang*, Yuheng Yang, Yu-Wei Fan, Qinhan Tan, Thomas Bourgeat, Sharad Malik, Mengjia Yan

IEEE Security and Privacy 2026[Paper][Code]

Research Experience

Massachusetts Institute of TechnologySep. 2026 ~ Present

Ph.D. in EECS

Advised by Prof. Mengjia Yan.

Matcha Lab, MITMay. 2025 ~ Dec. 2025

Research Intern

Advised by Prof. Mengjia Yan on secure (out-of-order) processor design and verification.

NSEC Lab, SJTUJune. 2024 ~ June. 2026

Student Researcher

Advised by Prof. Guoxing Chen on verifiable interrupt-based side-channel mitigation for trusted execution environments.

Hobbies

Food: Chinese cooking
Sports: Table tennis, Badminton, Volleyball, Swimming
Tinkering: Arch Linux, KDE

Skills

Programming: C/C++PythonTypeScriptRustVerilogCoq
Frameworks: VueFastAPIFlaskSQL
Tools: GitLaTeXDocker
Languages: EnglishChinese

Last Updated on 9/30/2026