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 (17)
markdown10
computer-algebra10
in-progress10
mathematics10
computer-algebra-system10
gitpod10
github-pages10
jekyll10
theorem-proving10
math9
topology6
hosts6
textbook3
infrastructure3
game-theory3
Programming languages (7)
Github contributions (5)
sinhp/ProofLab
Aug 2022 - Jan 2023
Contributions:126 commits, 2 PRs, 123 pushes in 5 months
sinhp/sinhp.github.io
Nov 2017 - Mar 2025
My Website
Contributions:12 PRs, 1539 pushes, 10 branches in 7 years 5 months
jekyll
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.