Colin Jones
Baltimore, Maryland, United States
Summary
🤩
Rockstar🎓
Top SchoolColin Jones is a rising junior pursuing a BS in Chemical and Biomolecular Engineering at UMBC with a bioengineering focus and pre-medical interests, driven toward graduate study and a future doctoral degree. He brings two years of practical experience, a strong foundation in mathematics, and a keen interest in biochemical engineering and biotechnology. An inquisitive scholar, Colin balances technical curiosity with creativity—writing fiction and competing on Jeopardy-style challenges sharpen his problem-solving and communication skills. Based in Baltimore, he enjoys networking and exchanging ideas, making him approachable for research collaborations or academic mentorship.
2 years of coding experience
Gov. Thomas Johnson High SchoolUMBC
Github Skills (6)
mathematics10
computer-algebra-system10
in-progress10
math9
computer-algebra9
theorem-proving9
Programming languages (2)
Github contributions (5)
Colin166/Lean4
Nov 2023 - Mar 2025
Contributions:39 pushes, 3 branches in 1 year 4 months
Colin166/mathlib4
Jun 2024 - Jun 2024
The math library of Lean 4
Contributions:2 PRs, 6 pushes, 2 branches in 1 day
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.