neumo

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. I hunt for bugs. Get a quote

• https://t.co/eiX4SonIFu
• https://t.co/t9oFpJ7H2P Security Researcher Mo Bugs Mo Problems