Picture 1: 어제 산책하다 찍은 셀카
Forcing, substructural logic, fuzzy logic + mammals, birds, and water bears.
German idealism, critical theory, formal argumentation, computability, type theory, category theory, birdwatching.
2015.3-2019.2: B.A. in Philosophy, Chonnam National University
2019.3-2022.5: M.A. in Philosophy (not completed), Chonnam National University
2022.5-2023.8: On leave
2023.9-: M.A. in Philosophy (transferred), Jeonbuk National University
2024.12.7: Served as the President of Association for Less Walking(덜 걷기 협회)
Picture 2: 덜 걷기 협회