Yu-Wei Fan’s Personal Website

News

• June 2026: I passed my general exam and became a Ph.D. candidate. I also received the Pramod Subramanyan *17 Early Career Graduate Award!
• April 2026: Our paper Interplay of Efficient Model Checking and Secure Processor Design: A Case Study on Secure Speculation was accepted to S&P 2026.
• February 2026: Our paper Hierarchical Boundary Recovery: Overcoming Synthesis Obscurity via SAT Sweeping was accepted to DAC 2026.
• December 2025: Our paper SecIC3: Customizing IC3 for Hardware Security Verification was accepted to DATE 2026.

Short Biography

I am a third-year ECE PhD student at Princeton University advised by Prof. Sharad Malik. I received my B.S. and M.S. from National Taiwan University (NTU). During my Master’s study, I was advised by Prof. Jie-Hong Roland Jiang on decision procedures and electronic design automation (EDA).

I am broadly interested in automated reasoning, formal verification, and hardware security.