Andor Penzes
Software Engineer at https://www.redbubble.com/shop/ap/92458473
London, England, United Kingdom
Summary
🤩
RockstarAndor Penzes is a Software Engineer based in London with 13 years of experience blending functional programming and formal methods to build reliable software. He brings a rare mix of backgrounds—from Quality Assurance to Proof Engineering—enabling a pragmatic yet rigorous approach to correctness and testing. Comfortable in FP paradigms, he applies formal reasoning to improve software design and reduce defects rather than treating verification as an afterthought. Andor’s trajectory signals a disciplined engineer who values auditable, maintainable systems and is likely to excel in roles that require precision, tooling, and cross-disciplinary collaboration.
13 years of coding experience
Stackoverflow
153reputation
3kreached
3answers
1question
Github Skills (92)
generic-programming10
backend10
haskell10
dependent-types10
snap10
idris10
optimisation10
compiler10
llvm10
ddd10
functional-programming-language10
domain-modeling10
hacking10
functional-programming10
django9
Programming languages (12)
Github contributions (5)
andorp/order-taking
Apr 2021 - Oct 2021
Idris version of Domain Modeling Made Functional Book.
Contributions:113 commits, 3 PRs, 46 pushes in 6 months
domain-modelingfpidrisddddepedent-types
andorp/spd
Feb 2014 - Sep 2014
Contributions:20 commits in 7 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.