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.
I love formalizing mathematics using lean. My favorite problems are the ones that use tools from multiple math disciplines at once.
My favorite game is yume nikki, and I like cats, burgers, and martial arts. I enjoy poetry and some of my poems can be found at the blog.