Email: minsung AT ccs DOT neu DOT edu
You can find my publication (singular) below.
- The Krein--von Neumann Extension of a Regular Even--Order Quasi--Differential Operator. M. Cho, S. Hoisington, R. Nichols, B. Udall. Opscula Mathematica. vol. 41, no 6.
I am an incoming Ph.D. student at the Programming Research Lab at Northeastern University, where I will be advised by Steven Holtzen.
I recently graduated from Carnegie Mellon University with majors in mathematics and philosophy. I was advised by Jeremy Avigad.
I'm interested in programming languages and automated reasoning. In particular, I'm interested in probabilistic PLs, probabilistic verification, and
interactive theorem proving.
I've done some other things in past. In particular, I've studied:
- Cops-win graphs and
- Quasi-differential Operators.
Currently I am working on a project to formalize Cops and Robbers in the theorem prover
Lean advised by Professor Jeremy Avigad. My work is available in a public Github repository here.
In summer 2021, I participated in the
NSF REU in functional analysis
at UT Chattanooga, advised by Professor Roger Nichols.
During summer 2020, I did a CMU-funded research project in
graph-theoretic games, specifically Cops and Robbers,
with Professor David Offner.
I'm a regular TA in the math department. More recently I also TA for the philosophy department. Here are some of the classes I've TA'd for:
- Spring 2022: 21-268 Multidimensional Calculus
- Fall 2021: 80-310/610 Formal Logic
- Spring 2021: 21-268 Multidimensional Calculus
- Fall 2020: 21-127 Concepts of Math
- Spring 2020: 21-259 Calculus III
Fun facts about me:
- My Erdos number is 5.
- According to David Savitt's Springer GTM personality quiz, I am Mac Lane's Categories for the Working Mathematician.
- I'm a classically trained clarinetist, although I haven't played it in quite a few years now.