Software Engineer
Antwerp, Belgium
Rives (Cartesi spinout)
Oct 2024 — Jan 2025
Audited several Solidity smart contracts and identified multiple critical security vulnerabilities. Reduced gas usage and contract size by optimizing key functions, lowering user transaction costs by 15%, making deployment cheaper and ensuring compliance with EVM size limits.
Tender Finance
Sept 2022 — Jan 2023
Designed and implemented a CI/CD pipeline for Solidity smart contracts. Built a testing framework using Hardhat with unit tests, fuzzing, invariant tests, coverage, and gas profiling. Reviewed codebase for security vulnerabilities and optimizations.
Zippie
Oct 2021 — Oct 2024
Contributed to Tosi, a project focused on the issuance and verification of digital assets and data. Collaborated with the Cartesi team on Cartesi Compute and helped secure strategic grants. Built and maintained Solidity smart contracts (data availability, staking, etc.), including a smart contract for GSX Group securing over $12M in TVL. Researched new applications for verifiable computing, e.g., interoperability between Cartesi and EigenLayer.
De Wonderpluim
Jun 2021 — Jan 2022
Automated data pipeline migrating terabytes of faculty data from local drives to NAS using Python scripts. Provided technical support for 20+ faculty members across hardware, software, and network needs.
AZUA Tennis
Sept 2014 — Jun 2019
Certified coach; coached children during weekends, led summer tennis camps, and organized events.
MSc · Engineering: Computer Science
2024 – 2026
BSc · Computer Science
2020 – 2024