Hans Parshall
Actuarial Analyst at WellSense Health Plan
Bellingham, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolHans Parshall is an actuarial analyst in Bellingham, WA with 11 years of quantitative experience bridging advanced mathematics and applied analytics. He holds a PhD in Mathematics from the University of Georgia and transitioned from academic roles—including assistant professorships at Western Washington University and The Ohio State University—into industry actuarial work at WellSense Health Plan. Hans brings deep formal-mathematics expertise, evidenced by contributions to the Lean mathlib3 theorem library on inner product spaces and self-adjoint operators, which signals strong rigor in proof-driven problem solving. Comfortable translating abstract theory into practical models, he combines teaching and research experience with hands-on actuarial analysis to deliver precise, verifiable results. Colleagues can expect a methodical thinker who values mathematical correctness and reproducibility in complex analytical workflows.
11 years of coding experience
5 years of employment as a software developer
University of GeorgiaBachelor's degree, Mathematics, Bachelor's degree, Mathematics at Cal Poly Humboldt
Github Skills (5)
theorem-proving10
proofs10
proof10
formal-methods10
leanback10
Programming languages (3)
Github contributions (5)
leanprover-community/mathlib3
Feb 2022 - Mar 2022
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:43 reviews, 36 commits, 17 PRs in 28 days
Contributions summary:Hans contributed to the `mathlib3` library, focusing on mathematical components, particularly in analysis, inner product spaces, and linear algebra. Their work included implementing new theorems, lemmas, and instances within the Lean 3 theorem proving framework. The user's contributions involved defining and proving properties related to self-adjoint operators, inner product spaces, and finite-dimensional vector spaces. This showcases their proficiency in formal mathematics and theorem proving.
maththeorem-provingcomponents-librarymathematicsjavascript
hparshall/hparshall.github.io
Jun 2021 - Jan 2022
Contributions:54 pushes, 1 branch in 6 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.