About me
What I’m doing now: I am currently a JSPS PostDoc Fellow at Nagoya University, hosted by Takayuki Kihara.
What I'm thinking about: My research lies in Topology and Logic, spanning both fields independently as well as their rich interface. A key idea underscoring my research is the question: "What is a space?" When abstracted in the right way and placed in the right contexts, this question can be both subtle and surprisingly powerful. My current focus is two main projects:
- Cut-and-paste K-theory. Applying homotopy theory to the geometry of algebraic varieties, G-manifolds, and definable sets.
- Game-theoretic Katetov Order and the Effective Topos. Joint with T. Kihara, we investigate how distinct notions of complexity arising in set theory and computability theory are, perhaps surprisingly, controlled by the same core mechanism.
Academic Background: I did my PhD at the University of Birmingham, under the supervision of Steve Vickers. My thesis investigated various interactions between arithmetic geometry and logic, guided by the unique lens of topos theory.
Email: ng.ming.k0 [AT] a.mail.nagoya-u.ac.jp