Nima Rasekh
Greifswald, Mecklenburg-Vorpommern, Germany
Summary
👤
SeniorNima Rasekh is a Mathematics Research Scientist at Turing and a dedicated postdoctoral researcher at the University of Greifswald, blending advanced mathematical research with scalable, real-world problem solving. With a PhD in Mathematics from UIUC and a strong track record in category theory and the formalization of mathematical structures, he pursues research at the intersection of geometry, foundations, and proof assistants (Lean/Coq). His work spans quantum computation and quantum formalism, including fellowships at Zaiku Group and roles at MPIM and EPFL, reflecting a collaborative, international trajectory across Germany, Switzerland, the US, and Iran. On the GitHub side, he emphasizes formalization of categorical structures and maintains an active interest in rigorous, verifiable mathematics. He is currently on the job market seeking professorships, bringing deep theoretical chops and a practical eye for formal methods to academic and industry partnerships. Based in Germany (Mecklenburg-Vorpommern), he has nearly a decade of research experience and a global perspective that enriches his teaching and research collaborations.
9 years of coding experience
Github Skills (13)
mathematics10
coq10
foundations10
coq-library9
number-theory9
combinatorics9
homotopy-type-theory9
agda9
discrete-mathematics9
proof-assistant8
theorem-proving8
computer-algebra-system8
verification1
Programming languages (5)
Github contributions (5)
nimarasekh/nimarasekh
Oct 2023 - Nov 2024
Repository for GitHub Page
Contributions:2 PRs, 16 pushes, 2 branches in 1 year 1 month
nimarasekh/nimarasekh.github.io
May 2024 - Feb 2025
Contributions:33 pushes, 1 branch in 8 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.