Mike Tuma
Project Manager at Great River Greening
Minneapolis, Minnesota, United States
Summary
🤩
Rockstar🎓
Top SchoolMike Tuma is a project manager and conservation scientist with six years of experience bridging academic research and field-based ecological work. Currently leading projects at Great River Greening after graduate research at the University of Minnesota, he specializes in conservation science with practical experience in restoration, botany, and natural resources management. He also contributes to formal verification and cryptography research on GitHub, including substantive algebraic work in the leanprover-community's mathlib3, showing a knack for rigorous, formal reasoning beyond typical ecological practice. Based in Minneapolis, he combines field-tested project delivery with analytical depth, able to translate complex technical and scientific concepts into actionable outcomes.
6 years of coding experience
6 years of employment as a software developer
Master of Science - MS, Conservation Science, Master of Science - MS, Conservation Science at University of Minnesota
Github Skills (9)
ring10
theorem-proving10
proofs10
proof10
logical10
leanback10
symbolic-logic10
r10
logic10
Programming languages (3)
Github contributions (5)
leanprover-community/mathlib3
Jul 2020 - Jan 2023
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:60 reviews, 75 commits, 60 PRs in 2 years 6 months
Contributions summary:Mike contributed to the definition and documentation of Jacobson rings within the `mathlib3` repository. They defined Jacobson rings, cleaned up documentation formatting, and addressed issues found after merging previous definitions. Their commits also involved working with ideal operations, integral extensions, and general theorems about localization. The user focused on the core algebraic structures in the repository.
maththeorem-provingcomponents-librarymathematicsjavascript
dtumad/lean-crypto-formalization
Feb 2021 - Mar 2023
Contributions:578 commits, 741 pushes, 47 branches in 2 years 1 month
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.