I'm interested in the areas where mathematics and computers intersect.
These days, you can find me contributing to Lean's mathlib, mainly formalizing stuff about graphs. I'm currently reading:
- Art of Computer Programming Vol. 4
- Metaprogramming in Lean
- Introduction to Topological Manifolds
- Analysis and Algebra on Differentiable Manifolds
My coat of arms: