NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

person. Utensil Song [utensil]

I'm an independent researcher interested in math, physics, computer science, and more.

  • Primary research area: Clifford algebra, its formalization in Lean, and related mathematical branches
    • Hopf algebra and its connection to group algebra of finite groups
    • Sheaf/Topos theory and their application to ML and physics
    • Type theories related to Lean
    • Discrete Differential Geometry
    • Knots, Origami, and other topological structures
  • Other interests:
    • (Geometric) interpretations of deep learning
    • Bifurcation theory in dynamical systems, particularly in Neuroscience
    • Developmental Biology
    • Philosophy of Jacques Lacan and Martin Heidegger

Disclaimer: I have a professional career that I'm not at liberty to disclose under this identity.