I received my B.S. at Carnegie Mellon 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 build bridges between two approaches to probabilistic reasoning: the efficient knowledge compilation approach and the feature-rich, safe semantic approach. In some sense I'm working on "compilers for probability theory". I'm also interested in interactive theorem proving, program logics, and their pedagogy.
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.