Computer Science Expert (PhD) @ (September 2025 - October 2025)
Formal Verification Engineer @ (October 2022 - July 2025)
Formal Verification Engineer @ (May 2021 - August 2021)
Vu Phan Education
Rice University
Doctor of Philosophy - PhD (Computer Science)
2017-2022
Texas Tech University
Bachelor of Science - BS (Mathematics and Computer Science)
2014-2017
Vu Phan Skills
Algorithms
Artificial Intelligence (AI)
Artificial Intelligence for Business
C++
COQ
Computer Hardware
Data Structures
Formal Methods
Formal Verification
Generative AI
Jasper
Java
LaTeX
Logic Design
Machine Learning
Microarchitecture
Microsoft Copilot
Patent Prosecution
Patent Searching
Prompt Engineering
Python
Research and Development (R&D)
Responsible AI
Scala
Software Development
SystemVerilog
TCL
VC Formal
Visio
Vu Phan Summary
Vu Phan, based in Houston, TX, US, is currently a Formal Verification Engineer at Cirrus Logic. Vu Phan brings experience from previous roles at Osha Bergman Watanabe & Burton LLP, Mercor and Intel Corporation. Vu Phan holds a 2017 - 2022 Doctor of Philosophy - PhD in Computer Science @ Rice University. With a robust skill set that includes Algorithms, Artificial Intelligence (AI), Artificial Intelligence for Business, C++, COQ and more. Vu Phan has 3 emails and 1 mobile phone numbers on RocketReach.
Looking for a different Vu Phan?
Find contact details for 700 million professionals.