Logical implications are extremely important to scientific theories. Some implications are obvious – so it seems – but what makes them obvious? This innocent-looking question is notoriously difficult to answer. Without a good answer to this question, we may not fully understand the nature of human thought, reasoning, and belief-formation. My research focuses on these issues at the intersection of philosophical logic, the philosophy of mind, and cognitive science.

I am part the research group in Theoretical Philosophy. I also contribute quite a lot of teaching and coordination to the Human-Centered AI program. I have actively organized many events at Utrecht including a regular logic seminar (TULIPS), two workshops, and a conference. Some of these events were interdisciplinary projects organized with other members of the UU special interest group on Neurosymbolic AI.

Most of my published work focuses on the theories of logical and mathematical pluralism, the topic of 'bounded' rational belief, and logical solutions to paradoxes. Outside of my main research areas, I also have a long-standing interest pre-Qin Daoism and early Buddhism. Before coming to Utrecht, I held positions as an Assistant Professor at Yonsei University in South Korea and as a postdoc at the Arché research centre at the University of St Andrews in Scotland.

You can find my papers at the link below.