Vu
Phan
, Ph.D.
- Patent Engineer
- Vietnamese
- English
Dr. Phan is a skilled patent engineer with a strong background in computer science and software development. Prior to joining OBWB, Vu worked as an intellectual property formal verification engineer for Intel Corporation.
Drawing on extensive experience in computational research, software development, and hardware validation, Vu brings exceptional technical insight to drafting and prosecuting patent applications.
Select Publications
- “Quantitative Reasoning on Hybrid Formulas with Dynamic Programming”. PhD thesis. Rice University, 2022.
- “Weighted Model Counting with Algebraic Decision Diagrams”. MS thesis. Rice University, 2019.
- Jeffrey Dudek, Vu Phan, and Moshe Vardi. “ProCount: Weighted Projected Model Counting with Graded Project-Join Trees”. In: Conference on Theory and Applications of Satisfiability Testing. 2021.
- Jeffrey Dudek, Vu Phan, and Moshe Vardi. “DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees”. In: Conference on Principles and Practice of Constraint Programming. 2020.
- Jeffrey Dudek, Vu Phan, and Moshe Vardi. “ADDMC: Weighted Model Counting with Algebraic Decision Diagrams”. In: AAAI Conference on Artificial Intelligence. 2020.
- “Syntactic Conditions for Antichain Property in Consistency Restoring Prolog”. In: Workshop on Answer Set Programming and Other Computing Paradigms. 2018.
- B.S., Computer Science, Texas Tech University, 2017
- B.S., Mathematics, Texas Tech University, 2017
- M.S., Computer Science, Rice University, 2019
- Ph.D., Computer Science, Rice University, 2022
