I'm a first year Ph.D. student at the Programming Research Lab at Northeastern University, advised by Steven Holtzen.
I recently graduated from Carnegie Mellon University with a B.S. in mathematics and philosophy, concentrating in logic. I was fortunate to be advised by Jeremy Avigad.
My research is in programming languages and artificial intelligence. I use tools from automated reasoning to make new, efficient probabilistic inference algorithms, which most often manifest as a domain-specific language. I'm also interested in type systems and formalized mathematics, mostly via Lean.
In a past life, I wanted to become a functional analyst. I have a publication from this time with Seth Hoisington, Brian Udall, and Roger Nichols, when I was at the UTC Math REU.
I'm a first-generation Korean American. My Erdős number is 5. According to David Savitt's Springer GTM personality quiz, I am Mac Lane's Categories for the Working Mathematician.