Operations Research
Exploring the intersection of AI and combinatorial optimization, using learning-based methods to tackle large-scale decision problems that classical solvers struggle with.
Read the paper →HQ Pham — Researcher
Pushing the frontier of technology to build a better future for everyone.
Aspiring researcher specialized in operations research, optimization, formal verification, and computer graphics.
Research
Past Experiences
Formal Verification
Exploring the intersection of AI and formal verification to verify code translation.
Read the paper →Computer Graphics
Exploring rendering and simulation techniques at the intersection of geometry, physics, and visual fidelity.
Read the paper →Open to Collaborate
Right Now
Currently working at University of Florida, with a growing interest in the intersection of AI and operations research.
Always glad to connect with researchers, collaborators, and curious minds.