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.