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 (127)
haskell10
optimization10
dependent-types10
optimisation10
coc-nvim10
compiler10
stack-based10
llvm10
functional-programming-language10
domain-modeling10
hacking10
strict10
functional-programming10
ecosystem9
gpgpu9
Programming languages (10)
Github contributions (5)
andorp/spd
Feb 2014 - Sep 2014
Contributions:20 commits in 7 months
andorp/advent-of-code
Dec 2020 - Dec 2020
Contributions:34 commits, 34 pushes in 24 days
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.