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 (31)
rosette10
verification10
math-library10
coq9
sql9
database9
electron7
dsl7
typescript7
parser7
megaparsec6
haskell6
combinator6
kotlin6
racket6
Programming languages (8)
Github contributions (5)
Shamrock-Frost/BrouwerFixedPoint
Jul 2022 - Sep 2022
Contributions:32 commits, 6 PRs, 34 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.