Martin Verzilli
Senior Software Engineer at Aztec Labs
Amsterdam, North Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolMartin Verzilli is a senior software engineer with 16 years of experience now focusing on privacy-preserving smart contract frameworks and private execution runtimes at Aztec Labs. Previously he led technology strategy as CTO of Manas.Tech and helped launch OpenZeppelin Defender, a security operations platform for Ethereum projects. His background blends deep hands-on engineering across languages and stacks with UX-driven product thinking from roles as developer lead and interaction designer. He holds an M.S. in Computer Science from the University of Buenos Aires and has a track record of moving research-grade crypto and security ideas into production. Based in Amsterdam, he combines technical leadership with a practical bent for regulatory-compliant architectures and mentoring teams. A less obvious strength is his long history of switching between low-level systems work and user-centered design, enabling solutions that are both robust and usable.
16 years of coding experience
20 years of employment as a software developer
Master Of Science, Computer Science, Master Of Science, Computer Science at University of Buenos Aires
Spanish, English, Portuguese, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (101)
programming-language10
npm-package10
security10
language-design10
smart-contracts10
solidity10
proofs10
idris10
monorepo10
compiler10
stack-based10
alexa-skills-kit10
logic-programming10
noir10
http-mock10
Programming languages (24)
Github contributions (5)
mverzilli/crystalla
Oct 2015 - Oct 2025
Crystal library for Numerical Methods. It binds to LAPACK and is unashamedly inspired by Numpy.
Contributions:11 PRs, 59 pushes, 2 branches in 10 years 1 month
lapacknumerical-methodsnumpy
crystal-lang/heroku-buildpack-crystal
Mar 2017 - Dec 2024
Heroku buildpack for Crystal
Contributions:1 review, 1 PR, 1 push in 7 years 9 months
buildpackheroku
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.