2024 Aug 27
Vu Hoang Nguyen Phan
Vu Phan is a Formal Verification engineer at Intel Corporation,
where he performs pre-silicon validation of Intellectual Properties in a System on a Chip.
Vu earned a Ph.D. degree in Computer Science at Rice University;
his advisor was Prof. Moshe Vardi.
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
2013 Jan – 2014 Aug: Associate of Science , Collin College
Projects
Bibliography
Vu Phan is the correspondence 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
Phan | Weighted Model Counting with Algebraic Decision Diagrams | M.S. thesis, Rice University 2019
Conference Papers
Dudek, Phan, Vardi | ProCount: Weighted Projected Model Counting with Graded Project-Join Trees | SAT 2021
Dudek, Phan, Vardi | DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees | CP 2020
Dudek, Phan, Vardi | ADDMC: Weighted Model Counting with Algebraic Decision Diagrams | AAAI 2020
Workshop Paper
Phan | Syntactic Conditions for Antichain Property in Consistency Restoring Prolog | ASPOCP 2018
Profiles
LinkedIn Google Scholar Semantic Scholar ORCID DBLP arXiv Zotero
Contact
Google mail: vuphan314
