Yuheng Yang

PhD Student at MIT
Email: yuhengy@mit.edu

Bio

I am a 5th-year PhD student at MIT EECS advised by Prof. Mengjia Yan. I work on formal verification of hardware designs, with a focus of proving security related properties. My research builds on standard model-checking techniques and develops customized strategies to scale verification to larger designs with minimal manual effort. Before starting PhD, I received a BEng degree from the University of Chinese Academy of Sciences.

Research Insterests

Formal Verification, Hardware Security, Computer Architecture

Publications & Presentations