Ayman Bouchareb
Rabat, Morocco
Summary
🤩
Rockstar🎓
Top SchoolAyman Bouchareb is a software engineer with six years of experience specializing in C++ and .NET, now expanding into type theory and functional thinking. Based in Rabat, he pairs practical backend engineering—demonstrated by contributions to the widely-used Nethermind Ethereum client, including implementing EIP-3855 PUSH0 and improving opcode APIs—with a competitive programming mindset for clean, performant code. He holds both a BE and MEng in Computer Science from École nationale des sciences appliquées de Tétouan and brings a disciplined, research-oriented approach to system correctness. A junior type theory enthusiast, he blends low-level blockchain execution knowledge with curiosity about formal foundations, making him effective at tackling subtle correctness and overflow issues in production systems.
6 years of coding experience
Master of Engineering - MEng, Computer Science, Master of Engineering - MEng, Computer Science at École nationale des sciences appliquées de Tétouan
Github Skills (9)
evm10
go10
ethereum10
blockchain10
testing9
apidoc9
api9
rust8
performance-optimization7
Programming languages (12)
Github contributions (5)
NethermindEth/nethermind
Aug 2022 - Jan 2023
A robust, high-performance execution client for Ethereum node operators.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:197 reviews, 362 commits, 114 PRs in 4 months
Contributions summary:Ayman contributed to the Nethermind Ethereum client, focusing on core backend functionalities. Their work involved refactoring and preparing APIs related to opcodes, implementing the EIP-3855 PUSH0 instruction, and adding a debug endpoint to query sync stages. Furthermore, they addressed potential overflow issues in size extensions and made various improvements to the code, including validation for a transaction parsing tool. Their contributions demonstrate a strong understanding of the Ethereum execution client's internal workings.
ethereumblockchainevmethereum-clienteth
Demuirgos/Lambda-Calculus
Jan 2021 - Oct 2022
A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime
Contributions:1 review, 143 commits, 29 PRs in 1 year 9 months
compilerlambda-calculusprogramming-languageparsersinterpreter
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.