Armando Santos
Haskell Consultant at Well-Typed LLP
Braga, Portugal
Summary
🤩
Rockstar🎓
Top SchoolArmando Santos is a Haskell consultant with nine years of experience building robust backend and DevOps solutions, currently at Well-Typed LLP. He brings a pragmatic blend of functional programming rigor and production-focused engineering, having improved operational aspects of the Cardano node—including topology handling, configurable connection limits, and Nix integration. Past roles span research at INESC and backend/full‑stack work in JavaScript and Java, giving him a strong grounding in both academic and applied software development. Based in Braga, Portugal, he favors types-first design ("I like Types") and pairs that discipline with hands-on contributions to distributed systems and testing infrastructure.
9 years of coding experience
1 year of employment as a software developer
Master's Degree, Computer Engineering, Master's Degree, Computer Engineering at Universidade do Minho
Portuguese, Spanish, English
Stackoverflow
16reputation
315reached
1answer
0questions
Github Skills (10)
configuration-management10
cardano10
nix10
testing9
backend9
back-end-development9
system-administration8
bash6
java6
nodejs5
Programming languages (11)
Github contributions (5)
IntersectMBO/cardano-node
Apr 2021 - Sep 2022
The core component that is used to participate in a Cardano decentralised blockchain.
Role in this project:
DevOps Engineer & Backend Developer
DevOps Engineer & Backend DeveloperContributions:2 releases, 74 reviews, 115 commits in 1 year 5 months
Contributions summary:Armando primarily focused on improving the Cardano node's operational aspects and backend configurations. They implemented a signal handler for topology configuration updates, improved error messaging in the topology file, and made the accepted connections limit configurable. Additionally, the user updated chairman tests and configuration files, demonstrating contributions to the project's testing infrastructure. The work included modifying configuration files and integrating with the Nix build system.
core-componentblockchainplutusdecentralisedcardano
bolt12/study-for-free
Sep 2019 - Oct 2019
Contributions:27 commits, 17 pushes in 12 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.