I am all about trying to understand complex things and finding incoherences in them.
Biography
Hi all! I’m a security researcher from Barcelona with a background in Telecom Engineering and a passion for all things programming since the ZX Spectrum days.
The context
At the beginning of 2022 I joined Secureum Bootcamp Epoch ∞ and I’ve been learning and reviewing code ever since. The tech captivated me immediately, so after 14 years of working at the company I founded in 2009, I decided to sell my shares of the business in early 2023 and fully transition to web3 security. And that’s the best decision I’ve made in my life.
\
Since then I’ve been mainly reviewing solidity smart contracts in C4 and Sherlock contests and doing bug bounties in Immunefi. I also have a big interest in Formal Verification and have participated in several Certora Prover contests so far. If you want your code reviewed or formally verified, feel free to reach out, I’d be glad to work with you!
What you’ll get
You’ll work with someone with more than 20 years of software development experience and who is used to manage small teams and deal with customers.
Findings count
High Risk
4
Medium Risk
4
Low Risk
5
Informational
3