Manuel Mauro
Senior Blockchain Engineer at Nuts And Bolts
Leuven, Flemish Brabant, Belgium
Summary
🤩
Rockstar🎓
Top SchoolManuel Mauro is a Senior Blockchain Engineer based in Leuven with 11 years of experience blending research-grade rigor and production engineering across cryptography, distributed systems, and blockchain infrastructure. He has held roles from postdoctoral researcher and PhD candidate to senior engineer at Algorand and currently leads engineering efforts at Moonsong Labs while founding Nuts And Bolts. Manuel is an active open-source contributor, notably improving Rust’s popular petgraph library and contributing backend and devops fixes to zkSync Era, demonstrating fluency in low-level algorithms, testing, and zk-rollup tooling. His background marrying a PhD in computer science with hands-on protocol work gives him a rare ability to translate formal ideas into robust, testable systems.
11 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at GSSI - Gran Sasso Science InstituteMaster's degree Computer Science, Master's degree Computer Science at Sapienza Università di Roma
Stackoverflow
3reputation
250reached
0answers
1question
Github Skills (28)
graph-algorithms10
github-ci10
data-structure10
cicd10
data-structures10
test-integration10
iterator10
rust10
githubaction-workflow10
integration-testing10
testing9
command-line-interface9
dockers9
configuration-management9
docker9
Programming languages (6)
Github contributions (5)
matter-labs/zksync-era
Jul 2024 - Dec 2024
zkSync era
Role in this project:
Backend Developer & DevOps Engineer
Backend Developer & DevOps EngineerContributions:148 reviews, 25 PRs, 569 pushes in 5 months
Contributions summary:Manuel contributed to the zkSync Era project by fixing bugs related to the `zk_inception` toolbox and adding new features, such as adding revert tests for external nodes. The user's commits also involved modifying the core components of the project and adding options for file-based configuration. Furthermore, the user demonstrated expertise in setting up tests and integrating new features within the zkSync Era environment, which also included writing tests for the zk_supervisor.
petgraph/petgraph
Jan 2019 - Oct 2019
Graph data structure library for Rust.
Role in this project:Backend Developer
Backend DeveloperContributions:6 commits, 1 PR, 3 comments in 8 months
Contributions summary:Manuel primarily contributed to the `petgraph` library by implementing and refining graph traversal functionalities. They added a new iterator, `edges_connecting`, to retrieve edges between two nodes, including handling both directed and undirected graph types. The user also addressed documentation issues and improved existing tests, demonstrating a focus on code quality and usability. Furthermore, they refactored and renamed existing iterators to improve clarity and maintainability of the codebase.
data-structure-librarygraph-datarustgraphdata-structure
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.