Before coming to SKKU, I graduated with M.Litt in Logic and Metaphysics from SASP, St Andrews, UK, in 2018, where I researched the notion of justification as equivalent to the notion of truth and supplementary logical system of justification. 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
Proofs, Computers and Mathematical Agents
Proposing a new approach of taxonomy of machine-assisted proofs, by introducing 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)