Rida here, I'm 22. My main interests are automated reasoning, CASs, and combinatorial algorithms.
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
- Functional Programming in Lean
- Homotopy Type Theory
- Modern Computer Algebra
My coat of arms: