PhD student in mathematics for AGI. My main research interests range from Homotopy Type Theory and Higher Categories to Neuromorphic Computation and Lattice-based Computing. I guess I'm on the way to become an ontological programmer.