Background & experience
About me
I'm Emanuele Civini, a Formal Verification Researcher at Certora. I work on blockchain protocol correctness and research automated reasoning, SMT solving, and knowledge compilation.
My engineering background includes tokenised asset infrastructure at BlockInvest, blockchain products at Holoride, and software engineering at Amazon. That experience informs how I approach formal methods: understanding the implementation as well as the properties it should satisfy.
I completed my Master's degree in Computer Science at the University of Trento in 2026, graduating with honours. My studies focused on automated reasoning, formal verification, and applied cryptography.
You can contact me via email at hi@emanuelecivini.com. You can also find me on LinkedIn or GitHub.
My PGP fingerprint is 68B7 ECBD 5773 0DA3 1694 2507 83C1 A6CD DD7B D775.
Main work experience
Certora · Formal Verification Researcher
Full time
I analyze and write formal verification specs for protocols managing >$5B assets using the Certora Prover. Examples of properties I write are solvency, fair liquidation, rounding safety, and so on.
Amazon · Software Dev Engineer Intern
Internship
I optimized machine learning experimentation pipelines, significantly reducing manual time.
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.
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.
Collecto · Blockchain Developer
Freelance
Designed the blockchain architecture and protocol integrations enabling fractional ownership of collectibles (watches, art, wine) that is currently supporting 75,000+ active users.
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.
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.
Education
Master's degree in Computer Science
University of Trento, Italy
Computer Science MSc with a focus on formal verification, automated reasoning and applied cryptography.
Bachelor's degree in Computer Science
University of Trento, Italy
Computer Science BSc with courses on algebra and number theory.
Let's talk
Interested in similar questions?
I enjoy exchanging ideas about formal verification, blockchain systems, and automated reasoning. If any of my work resonates with you, feel free to get in touch.
hi@emanuelecivini.com