I am a second-year CSE PhD student at the University of Michigan, advised by Prof. Karem Sakallah. I received my B.S. and M.S. degree in ECE from the National Taiwan University, during which I was advised by Prof. Jie-Hong Roland Jiang. My research interests are software/hardware model checking, satisfiability (SAT, QBF, SMT), proof systems and proof complexity. I currently work on formal verification for distributed protocols.

News

• Oct. 2024: I gave a talk on our work SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update at ISoLA 2024.
• Aug. 2024: I gave a talk on our work Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability at IJCAI 2024.
• July, 2024: Our paper SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update is accepted at ISoLA 2024.
• April, 2024: Our paper Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability was accepted at IJCAI 2024.