Before coming to OSU, I took, briefly, PhD course in Philosophy at SKKU, and before that, I was in the industry. More related to philosophy, I graduated with M.Litt in Logic and Metaphysics from SASP, St Andrews, UK, in 2018. And did my BA in Philosophy at the University of York. For more details, check my CV or hit me up on my email.
I am also running a logic study group among graduate students based in Greater Seoul area, called Logical Beings. Anyone who is interested in logic and logic related subjects and based in Greater Seoul area (or anyone even tangentially related to Korea, for that matters) is more than welcome to join the group!
Publications
I yet have any publication record, but as soon as I do (hopefully in the near future), this section will be filled. Here is a list of my WIPs:
Multi-agent doxastic logic (in review)
Proofs, computers and mathematical agents (in progress)
Talks
Mathematical Structuralism and the Univalent Foundations
Outlines what structuralism requires for a foundation and shows how the Univalent Foundations meets those needs.
5th Korea Logic Day. Forthcoming. KAIST, Daejeon, South Korea.
slides
abstract
Proofs, Computers and Mathematical Agents
Proposing a new approach to the taxonomy of machine-assisted proofs, by adopting an agency view in mathematical practices.
SKKU-NU Phil Workshop 2025. Nov, 2025. Nagoya University, Nogoya, Japan.
slides
abstract
Multi-Agent Belief Ascription
Motivating the formalisation of simulative belief ascription in multi-agent scenarios.
APPSA-LMPST 2025. Jun, 2025. National Yang Ming Chiao Tung University, Taipei, Taiwan.
slides
abstract
Multi-Agent Simulative Belief Ascription
Introducing the framework of multi-agent doxastic logic, with emphasis on simulative aspects between agents.
4th Korea Logic Day. Jan, 2025. Grand Mercure Ambassador Hotel, Changwon, South Korea.
slides
abstract
Comments
Comments on Ha's "Conventionalist Logic 2Dfier"
UCKP 2025. Oct, 2025 Jeonbuk National University, Jeonju, South Korea.
manuscript (w/programme)