Mathematician at @unigreifswald.bsky.social
Mathematics Research Scientist at Turing
Lived in 🇩🇪🇮🇷🇨🇦🇺🇸🇨🇭 currently in 🇩🇪
He/Him/His
Interested in: homotopy theory, category theory, formalization of mathematics, AI
https://nimarasekh.github.io