Carlos D
Principal Systems Engineer at Commonwealth Bank
Sydney, New South Wales, Australia
Summary
👤
Senior🎓
Top SchoolCarlos D is a Principal Systems Engineer based in Sydney with eight years of professional experience building cloud platforms and security controls at scale, currently shaping core platform capabilities for Commonwealth Bank. He is an AWS Dev Alliance member working directly with AWS solution architects to influence new services—bringing rare cloud-to-product feedback into enterprise engineering. Carlos combines deep systems and functional-programming expertise (Scala, Haskell, Go) with hands-on cryptography and zk-proof work evident in GitHub contributions to PLONK, halo2curves and zkevm-circuits. He has also contributed to the widely used Rust package manager, cargo, improving build and docs versioning, which reflects a strong grasp of build systems and toolchain reliability. Previously a CTO and engineering lead, he blends leadership with low-level engineering, from Common Lisp and Haskell to backend systems. Pragmatic and curious, he often trades architectural patterns for auditable, codified security and operational controls that enable large-scale regulated deployments.
8 years of coding experience
12 years of employment as a software developer
Bachelor of Science (BSc) Computer Science, Bachelor of Science (BSc) Computer Science at Universidad de Málaga
English, Spanish, German, Italian
Github Skills (26)
algorithm10
circuit10
algorithms10
cargo10
package-management10
evm10
build-system10
document-generation10
data-structure10
f10
cryptography10
blockchain10
zk10
zkp10
data-structures10
Programming languages (12)
Github contributions (5)
dusk-network/plonk
Dec 2019 - Sep 2021
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
Role in this project:
Back-end Developer
Back-end DeveloperContributions:19 releases, 108 reviews, 248 commits in 1 year 9 months
Contributions summary:Carlos focused on implementing core features within the PLONK ZKProof System. Their work involved computing and refining the quotient polynomial, a crucial component in the PLONK protocol. They also refactored permutation polynomial calculations, adapting functions and parameters based on changes to the overall structure, including the implementation of `AllocatedScalar`. The user's commits demonstrate a deep understanding of the PLONK protocol and its underlying mathematical computations.
cryptographyrustzero-knowledgeblockchainsat-solver
privacy-scaling-explorations/halo2curves
Dec 2022 - Feb 2023
Role in this project:Back-end Developer
Back-end DeveloperContributions:2 releases, 101 reviews, 22 commits in 1 month
Contributions summary:Carlos primarily focused on porting and updating traits related to pairing and modular arithmetic within the `halo2curves` repository. They removed legacy trait implementations and updated field and curve implementations to align with newer dependency versions. Additionally, the user implemented macros for `Sum` and `Product` of fields and computed `DELTA` parameters.
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.