λ. whoami

Ridactio ad Absurdum

My name is Rida Hamadani. When in doubt, refer to me with they/them. I graduated pure math from the Lebanese University. I'm now a graduate student at UPPA, France.
My favorite problems are the ones that use tools from multiple math disciplines at once. I'm currently studying mould calculus and resurgence theory under Jacky Cresson. I also formalize mathematics using Lean and contribute to Mathlib, amongst other projects.
My favorite game is yume nikki. I like cats, burgers, and martial arts. I enjoy shogi, music, and poetry.