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 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.