CV | GitHub | minsung AT ccs DOT neu DOT edu
I’m a 2nd year PhD student at the amazing Programming Research Laboratory at Northeastern University, working with Steven Holtzen.
I received my BS from Carnegie Mellon University, where I was advised by Jeremy Avigad.
My interests are primarily in programming languages and artificial intelligence. I build bridges between knowledge compilation and probabilistic program semantics.
I’m also interested in the following things, in no particular order:
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.
I have an old paper from undergrad from when I was at the UTC Math REU. It’s published in Opuscula Mathematica.
|Scaling Decision-Theoretic Probabilistic Programs Through Factorization.
🏆 PLDI SRC First Place.