Ask anything about my experience, projects, and skills.
2024-present
Spearheaded the cloud migration of satellite image analysis software to the CGI cloud platform, leveraging Python and Docker to prepare for large scale satellite image processing.
2022-2023
Spearheaded Ethereum bridge technology upgrade, enhancing system reliability.
Improved security by encrypting key management in enclaves.
Optimized Bitcoin and Ethereum integration tests for Ubuntu 20 compatibility.
Resolved critical network communication issues within Docker environments.
Enhanced the Shamir Command-Line Interface for secure cryptographic operations.
2020-2021
Development of Ginger-lib, a Rust library for zk-SNARKs.
Implementation of Poseidon hash function over MNT4 and MNT6 curves. Achieved a x246 fold speedup compared to the original implementation.
Adaptation of Poseidon hash function to BN382 curve.
Implementation of algorithms for big Merkle trees.
Speeding up of multi-scalar multiplication on EC using Pippenger's algorithm and signed-digit recoding.
2018-2020
Blockchain protocol analysis, wallet design, and interface design to a Hardware Security Module (HSM).
Blockchain Challenge Award at the Blockchain Hackathon.
Development of a photogrammetric pipeline for creating a 3D model of a city. Joint work with the EPFL.
Implementation in multi-threaded C++.
Validation of algorithms in Matlab and Python.
2017-2017
Training of the Scrum framework.
Passed the certification of Professional Scrum Master and Professional Scrum Product Owner.
2011-2016
Design of banknote recognition algorithms using machine learning and image processing techniques.
Implementation in C++ on an embedded system.
Simulation of algorithms in Matlab.
2006-2011
2000-2006
Design of massively parallel algorithms for cryptography in hardware.
RTL simulation in Verilog for ASICs.
Best Paper Award at CHES 2005.
Computer Arithmetic and Cryptography
"Studies on Modular Arithmetic Hardware Algorithms for Public-Key Cryptography"
Computer Arithmetic and Cryptography
"A VLSI Algorithm for Modular Multiplication/Division"