Paolo Veronelli
Software Engineer at Self-employed
Sesimbra, Setúbal, Italy
Summary
👤
Senior🎓
Top SchoolPaolo Veronelli is a seasoned software engineer with 17 years of experience, currently contributing to the Cardano Foundation and working as a remote Haskell developer. He has deep back-end expertise in Haskell and nix-based builds, notably contributing to the widely used cardano-wallet project by adding metadata handling, OpenAPI3 support, restoration benchmarks, and API tests. His background spans startups and research-focused teams—from IOHK to self-directed freelance projects—blending production-grade blockchain work with experimental web prototypes like QRManiacs. Based in Sesimbra, he brings pragmatic full-cycle development skills and a knack for integrating formal functional programming techniques into real-world distributed systems. Notably, he balances long-term freelance practice with impactful open-source contributions that improve wallet reliability and security.
17 years of coding experience
6 years of employment as a software developer
High School, Information Technology, undergraduated, High School, Information Technology, undergraduated at Liceo Scientifico
English
Stackoverflow
27reputation
637reached
0answers
2questions
Github Skills (14)
transaction10
transactional10
api10
cardano10
apidoc10
haskell10
blockchain10
testing9
nix9
underscorejs6
svg6
javascript6
background-image6
angularjs6
Programming languages (11)
Github contributions (5)
cardano-foundation/cardano-wallet
Apr 2022 - Jan 2023
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 release, 527 reviews, 363 commits in 9 months
Contributions summary:Paolo primarily contributed to the backend logic of the cardano-wallet project. Their commits focused on modifying Haskell code within the nix build system to add support for a patched openapi3 library. They also made changes to the codebase to introduce features around handling transaction metadata and the incorporation of the new simple-metadata schema, and add tests for them. Additionally, the user addressed restoration benchmarks for the wallet, and added the API tests for wallet password updates and related transactions.
cardanocommand-linehttp-server
lambdasistemi/medibox
Nov 2015 - Jul 2026
Contributions:17 pushes, 1 branch in 10 years 9 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.