Minsung’s Homepage

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:

• Algebraic effects
• Interactive theorem proving
• Specialty coffee
• Distracting my labmates

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.

Papers

I have an old paper from undergrad from when I was at the UTC Math REU. It’s published in Opuscula Mathematica.

Talks