Sina Hazratpour
Amsterdam, North Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolSina Hazratpour is a researcher-engineer with a decade of experience at the intersection of formal theorem proving, category/type theory, and machine learning, currently based in Amsterdam. His work spans synthetic homotopy theory, cubical type theory, and formalization efforts in the Lean proof assistant, including formalizing Reedy categories and contributions connected to Kripke–Joyal semantics. He has taught and developed courses that blend rigorous mathematics with interactive proof assistants and computational foundations of data science, bridging pedagogy and research. Sina’s background combines deep theoretical math (MSc in Mathematics) with postgraduate computer science training, enabling him to translate abstract categorical ideas into machine-checkable formalisms. Notably, he collaborates with leading researchers (e.g., Emily Riehl, Steve Awodey) and applies category-theoretic perspectives to problems in K-theory and equivariant homotopy, making him adept at turning high-level theory into verifiable code.
10 years of coding experience
1 year of employment as a software developer
Master of Science - MS, Mathematics, Master of Science - MS, Mathematics at Western UniversityPostgraduate Student, Computer Science, Postgraduate Student, Computer Science at University of BirminghamJohns Hopkins Krieger School of Arts and SciencesJohns Hopkins Whiting School of Engineering
English, Persian, Dutch
Github Skills (12)
markdown10
github-pages10
jekyll10
math-library10
jekyll-theme10
mathlib9
html9
topology5
game-theory3
science2
computer-science2
textbook2
Programming languages (7)
Github contributions (5)
sinhp/ProofLab
Aug 2022 - Jan 2023
Contributions:126 commits, 2 PRs, 123 pushes in 5 months
sinhp/Poly
May 2024 - Aug 2025
A Lean4 Formalization of Polynomial Functors
Contributions:3 reviews, 21 PRs, 140 pushes in 1 year 3 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.