Yu-Wei Fan’s Personal Website

News

• July 2024: Our paper 2-DQBF Solving and Certification via Property-Directed Reachability Analysis was accepted to FMCAD 2024.
• December 2023: Our paper Unifying Decision and Function Queries in Stochastic Boolean Satisfiability was accepted to AAAI 2024.
• July 2023: Our paper WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits was accepted to ICCAD 2023.
• November 2022: Our paper SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver was accepted to AAAI 2023.

Short Biography

I am a first-year ECE PhD student at Princeton University. 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).

My research interests include automated reasoning, formal verification, and hardware security.

Please find my CV here to learn more about me.