2025 Aug 06

Vu H. N. Phan

Vu Phan validated semiconductor Intellectual Property as a Formal Verification engineer at Intel Corporation. He earned a PhD in Computer Science under Prof. Moshe Vardi's supervision at Rice University.

Resume

Education

2020 Jan – 2022 Aug: Doctor of Philosophy in Computer Science, Rice University
2017 Aug – 2019 Dec: Master of Science in Computer Science, Rice University
2014 Aug – 2017 Aug: Bachelor of Science in Computer Science & Math, Texas Tech University

Projects

DPMC/ProCount: Dynamic Programming for (Projected) Model Counting, with Jeffrey Dudek
ADDMC: Algebraic Decision Diagrams for Model Counting
LED: Language of Effective Definitions
L: Logic, with Evgenii Balai

Bibliography

Vu Phan is the corresponding author of the following publications (authors are sorted by surnames).

Theses

Phan | Quantitative Reasoning on Hybrid Formulas with Dynamic Programming | Ph.D. thesis, Rice University 2022

Slide deck | Code | Citation

Phan | Weighted Model Counting with Algebraic Decision Diagrams | M.S. thesis, Rice University 2019

Slide deck | Code | Citation

Conference Papers

Dudek, Phan, Vardi | ProCount: Weighted Projected Model Counting with Graded Project-Join Trees | SAT 2021

Talk | Slide deck | Code | Citation

Dudek, Phan, Vardi | DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees | CP 2020

Talk | Slide deck | Code | Citation

Dudek, Phan, Vardi | ADDMC: Weighted Model Counting with Algebraic Decision Diagrams | AAAI 2020

Slide deck (seminar) | Slide deck (conference) | Poster | Code | Citation

Workshop Paper

Phan | Syntactic Conditions for Antichain Property in Consistency Restoring Prolog | ASPOCP 2018

Slide deck | Citation

Profiles

Contact

Google mail: vuphan314