Jesse Han
Cofounder CEO At Math Inc
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolJesse Han is a founder and CEO with eight years of technical and research experience, currently leading Math Inc after founding Morph Labs. He blends deep mathematical training (PhD and MS in Mathematics) with hands-on industry experience at OpenAI, Microsoft Research, and AWS, translating advanced theory into applied AI and product strategy. Jesse has a track record of building startups in the San Francisco Bay Area and scaling technical teams and systems from prototype to company. His background as an applied scientist and research intern signals strong expertise in machine learning infrastructure and research-to-production workflows. Colleagues describe him as a founder who pairs rigorous academic thinking with pragmatic execution, often bridging complex math concepts to developer-friendly tools. Based in San Francisco, he maintains active engagement with developer communities through GitHub identities morph-labs and math-inc.
8 years of coding experience
2 years of employment as a software developer
Master of Science - MS, Mathematics, Master of Science - MS, Mathematics at McMaster UniversityPhD, Mathematics, PhD, Mathematics at University of PittsburghUniversity of California, Los Angeles
Github Skills (52)
continuum10
mathematical10
codegen10
code-generation10
intellij9
visual-studio-code-extension9
jetbrains9
javascript9
python9
mathematics9
formal-methods9
ai9
openai9
theorem-proving9
pycharm8
Programming languages (9)
Github contributions (5)
jesse-michael-han/flypitch
Jun 2019 - Jul 2020
A formal proof of the independence of the continuum hypothesis
Contributions:1 release, 70 pushes, 6 branches in 1 year 1 month
continuumformalindependence
jesse-michael-han/mathlib
Apr 2019 - Dec 2020
Lean mathematical components library
Contributions:35 pushes, 6 branches in 1 year 8 months
mathcomponents-librarymathematicsjavascriptmathematical
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.