Damian Nadales
Owner at Sustainable Software Solutions
Eindhoven, North Brabant, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolDamian Nadales is a software engineer and founder with 11+ years building high-assurance, maintainable systems—specializing in Haskell and functional, declarative design. He runs Sustainable Software Solutions, offering consultancy in distributed systems and correctness-focused development, and previously redesigned a Haskell-based model-based testing tool at TNO. His open-source contributions include meaningful back-end work to scikit-image (color space conversions) and to the Cardano ledger, showing comfort across scientific software and blockchain ledger rules. Damian prefers Unix-native toolchains, values team culture and rigorous solutions over quick hacks, and deliberately avoids object-oriented paradigms in favor of provable, maintainable code. He brings research depth from a PhD in Computer Science and practical experience spanning GPGPU, CI, web interfaces, and IoT cloud services. An analytical “thinker,” he excels on projects where formal correctness and long-term sustainability are prioritized.
11 years of coding experience
6 years of employment as a software developer
Licentiate degree, Computer Science, Licentiate degree, Computer Science at Universidad Nacional de Río CuartoDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Technische Universiteit Eindhoven
Stackoverflow
4,967reputation
137kreached
22answers
126questions
Github Skills (23)
python10
image-processing10
tx10
testing10
scikit-image10
color-conversion10
numpy10
cardano10
blockchain10
colorspace10
computer-vision10
delegation10
haskell10
unit-testing9
powerpoint6
Programming languages (17)
Github contributions (5)
IntersectMBO/cardano-ledger
Sep 2018 - Mar 2022
The ledger implementation and specifications of the Cardano blockchain.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:27 reviews, 204 commits, 143 PRs in 3 years 5 months
Contributions summary:Damian made several contributions to the Cardano ledger implementation, focusing on implementing and refining the ledger specification rules. Their work involved modeling various aspects of the ledger, including UTXO, witnesses, and delegation rules. They also incorporated feedback from other contributors and made changes to support delegation in the chain. Moreover, the user worked on creating the update payload for the chain traces and improving the generators.
adablockchainplutuscryptocurrencyspecifications
scikit-image/scikit-image
Aug 2014 - Sep 2014
Image processing in Python
Role in this project:Back-end Developer
Back-end DeveloperContributions:10 commits in 1 month
Contributions summary:Damian focused on adding and testing new functionality related to color space conversions within the scikit-image library. They introduced support for various illuminants and observers in the `xyz2lab` and `luv2xyz` color space conversion functions. Their work included modifying the `colorconv.py` file to incorporate the new features and writing corresponding tests to ensure the correctness of the conversions across different configurations, modifying test files to accommodate these new features.
image-processingpythoncomputer-visionimage
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.