Vitæ

Preprints

Research interests

  • Applied Algebraic Topology
  • {Topological, Geometric} Data Analysis
  • Imaging Neuroscience
  • Cellular {Co,}Sheaves
  • Discrete Morse Theory
  • Derived Categories
  • Constructible Sheaves
  • Fourier-Mukai Transforms
  • Topological Transforms
  • Categorical Spans

Concurrent interests

  • Formal Mathematics and Education
  • Computer Algebra Systems
  • Functional Programming, dependent types
  • Agda Programming Language
  • Machine Learning
  • 3D graphics — Blender, Houdini

Projects

WIP