I am a mathematician and programmer with a penchant for:
- mathematics: topos theory, homotopy theory, foundations, type theory, algebraic geometry
- programming: theorem provers/dependently typed languages, functional programming,
programming language theory and implementation
- philosophy: philosophy of mathematics, pragmatism, Dummett's program
I currently live in New York City and always welcome the chance
to meet new and delightful people. Feel free to reach out to me
via my email:
> map (chr. (+ 1) . ord) "b`kk`m-lbfhkk?fl`hk-bnl"
