Hey, I'm Emanuele ๐Ÿ‘‹

I'm a Formal Verification Researcher interested in automated reasoning, formal verification and distributed applications.

Main work experience

Certora logo

Certora ยท Formal Verification Researcher

Full time

SolidityRustFormal VerificationSMT
Amazon logo

Amazon ยท Software Dev Engineer Intern

Internship

I did an internship in order to complete my Master's degree. There, I was part of Amazon Search.

JavaPythonAWSTS
BlockInvest logo

BlockInvest ยท Web3 Software Engineer

Freelance, then full time since February 2024

Contributed to BlockInvest, a SaaS platform for tokenizing financial assets on the Polygon blockchain. Played a key role in launching the first fully tokenized bond with Cassa Depositi e Prestiti Spa, integrating ECB's TIPS HashLink for instant payments. Enabled the automatic transfer and management of โ‚ฌ25 million. Managed and optimized AWS infrastructure, cutting costs by ~50% without affecting performance. Maintained internal platforms and coordinated with technical teams across European financial institutions.

GoAWSPostgresJSDocker
Holoride logo

Holoride ยท Blockchain Developer

Full time

Led the design, development of blockchain products for the holoride ecosystem, with a focus on the RIDE utility token. Set up the RIDE bridge from MultiversX to Ethereum and integrated it into the RIDE Dapp. Developed and deployed smart contracts for staking and farming.

SolidityRustReactAWS
Collecto logo

Collecto ยท Blockchain Developer

Freelance

Designed the blockchain architecture and protocol integrations enabling fractional ownership of collectibles (watches, art, wine) that is currently supporting 15,000+ active users.

SolidityJavascript
Scaling Parrots logo

Scaling Parrots ยท Blockchain Developer

Freelance

Designed and developed smart contracts for a blockchain-based videogame. Implemented game logic, token distribution, game assets, and fully on-chain dynamic NFTs.

SolidityJavascriptMongoDB
Seed Set logo

Seed Set ยท Software Developer

Freelance

Introduced new features and optimized existing smart contracts for Seed Set, a decentralized fundraising platform in the UK, resulting in a 40% reduction in gas consumption.

SolidityJavascriptReact

Education

 logo

Master's degree in Computer Science

University of Trento, Italy

Computer Science MSc with a focus on formal verification, automated reasoning and applied cryptography.

SAT/SMT/OMTAutomated ReasoningCryptography
 logo

Bachelor's degree in Computer Science

University of Trento, Italy

Computer Science BSc with courses on algebra and number theory.

AlgorithmsDatabasesLinuxC++