Me!

I'm a 2nd year Ph.D. student at the Programming Research Lab at Northeastern University, advised by Steven Holtzen.

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.