Brendan Seamas Murphy
Student at University of Utah
Salt Lake City, Utah, United States
Summary
🤩
RockstarBrendan Seamas Murphy is a Salt Lake City–based student and pure mathematics graduate student with a decade of professional experience bridging rigorous theory and practical problem solving. He brings deep analytical training to technical challenges, likely comfortable with abstract reasoning, formal proofs, and data-driven modeling. Though early in formal tech roles, his long experience span suggests sustained involvement in engineering or technical projects alongside academic work. Brendan’s profile hints at a research-oriented mindset that can translate complex mathematical concepts into clear solutions for software or analytics teams.
10 years of coding experience
Stackoverflow
208reputation
379reached
2answers
0questions
Github Skills (58)
rosette10
computer-algebra10
tla10
in-progress10
mathematics10
solver10
verification10
computer-algebra-system10
theorem-proving10
relational-algebra10
math9
coq9
sql9
database9
typescript8
Programming languages (7)
Github contributions (5)
Shamrock-Frost/BrouwerFixedPoint
Jul 2022 - Sep 2022
Contributions:32 commits, 6 PRs, 33 pushes in 2 months
Shamrock-Frost/shamrock-frost.github.io
Oct 2018 - May 2020
Contributions:38 pushes, 3 branches in 1 year 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.