Sam Sungho Park

Fourth year studying mathematics at Princeton University. Interested in anything that has to do with topology, mathematical logic, and formal verification.