Sergio Mena
Senior Staff Software Engineer at Circle
Lausanne, Vaud, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolSergio Mena is a Senior Staff Software Engineer based in Lausanne with over a decade of experience bridging rigorous research and large-scale engineering. He holds a PhD in distributed fault tolerance and has applied that expertise to congestion control, high-availability networking at Cisco, and formal verification of blockchain protocols at Informal Systems. Sergio contributes to CometBFT, helping refine ABCI 2.0 and consensus/state-management code for a prominent Byzantine fault-tolerant engine, and now leads architecture and API work to enable digital currencies and tokenization at Circle. He combines formal methods and practical system design to deliver robust, testable infrastructure, from multi-million-line IOS-XE components to public payment APIs. Notably, his background in both academia and industry means he routinely turns formal specifications into production implementations, making correctness a first-class aspect of shipped systems.
10 years of coding experience
17 years of employment as a software developer
Doctor of Philosophy - PhD Distributed fault tolerance & modular middleware, Doctor of Philosophy - PhD Distributed fault tolerance & modular middleware at EPFLUniversitat Politècnica de València
Spanish, French, English, German, valencian
Github Skills (8)
distributed-systems10
go10
blockchain10
testing9
go-testing9
cosmos8
databases8
database8
Programming languages (10)
Github contributions (5)
cometbft/cometbft
Aug 2022 - Mar 2023
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1959 reviews, 96 commits, 459 PRs in 6 months
Contributions summary:Sergio primarily focused on implementing and refining the ABCI 2.0 protocol within the CometBFT project. Their commits involved debugging and fixing context handling, test failures, and linter issues. They also addressed the use of enums for ABCI results, contributing to more robust and maintainable code. The user's work is centered around the consensus mechanisms and state management of the blockchain engine.
bftblockchaincosmosdatabasedistributed-systems
sergio-mena/gecko-dev
Nov 2018 - Dec 2020
Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: http://bit.ly/contribute-code
Contributions:10 reviews, 6 commits, 24 PRs in 2 years
repositoriesmercurialgit-mirrorbitmozilla
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.