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 PhD work investigated various interactions between arithmetic geometry and logic, guided by the unique lens of topos theory.

• Thesis : Adelic Geometry via Topos Theory PDF. Here's a brief overview.

In addition, I also like to think about:

• K-theory of Varieties, G-Manifolds, Matroids etc.

• Interfaces with Logic.. Keisler's Order, Computability Theory, Hrushovski-Loeser Theory, Learning Theory etc.

• Distribution of Rational Points. In Spring 2023, I co-organised the London Algebraic NT study group on Manin's Conjecture & Szemeredi Regularity with Rosa Winter. Here is the syllabus.

Academic Background: I was previously a PostDoc at Queen Mary University of London, under the supervision of Ivan Tomasic and Behrang Noohi. I did my PhD at the University of Birmingham, under the supervision of Steve Vickers.

Email: ng.ming.k0 [AT] a.mail.nagoya-u.ac.jp