My PhD thesis entitled “compactness under constructive scrutiny” was written under the supervision of Douglas Bridges. My general research interests are:

  • Foundations: foundations and philosophy of mathematics
  • Logic: intuitionistic logic, constructive reverse mathematics
  • Analysis: dynamical systems, Bishop style constructive mathematics, differentiable manifolds
  • Topology: foundations of topology, apartness spaces, uniform spaces, compactness and continuity

Blog Posts

subscribe via RSS