Hi, thanks for visiting my website!

I’m currently a first year PhD student at the Georgia Institute of Technology, supervised by Professor Jacob Laurel. I obtained my Bachelor’s of Software Engineering from the University of Waterloo in 2025, where I also worked as an undergraduate research assistant. I also did a research internship at EPFL in 2024, and completed an academic exchange semester at ETH Zurich in 2023.

I’m passionate about Programming Languages (PL) research and game development. My current research focuses on optimized DSLs for scientific computing. In the past, I’ve worked on the following projects:

• During a research internship at Oracle Labs’ Zurich office, I worked on Profile Guided Optimization (PGO) for the Native Image Java compiler.
• During my internship at EPFL, I worked on symbolic execution based analysis of program memory usage.
• As an undergraduate research assistant at Waterloo, I worked on a static analysis to check initialization errors in Scala global objects.
• During my exchange semester at ETH Zurich, I implemented machine learning operators on their Occamy hardware, leveraging Stream Semantic Registers and Floating Point Repetition.

My full CV is available here.

The best way to contact me is via email: david.hua[at]gatech.edu (or click the envelope at the bottom of this page).

You can also drop by the Aristotle Lab (KACB 2319).