Adi Seredinschi
Principal Product Manager at Circle
Lausanne, Vaud, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolAdi Seredinschi is a Principal Product Manager with 13 years of experience blending deep distributed-systems research and hands-on engineering to build durable, production-ready software. With a PhD from EPFL and a background as a research scientist and product leader at Informal Systems and the Interchain Foundation, he bridges formal verification, protocol design, and product strategy. He contributed TLA+ specifications and verification work for the Hermes IBC relayer (a notable Rust project in the blockchain interoperability space), demonstrating an unusual mix of formal methods and backend development. Now at Circle after the Malachite acquisition, he focuses on shipping resilient infrastructure for financial products while keeping a developer-first mindset. Colleagues describe him as someone who builds things that last—combining rigorous correctness thinking with pragmatic delivery.
13 years of coding experience
15 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at Ecole polytechnique fédérale de LausanneUniversitatea Babeș-Bolyai din Cluj-NapocaMaster's degree, Répartition et Aide à la Décision, Master's degree, Répartition et Aide à la Décision at Université d'Orléans
English, French
Github Skills (11)
bc10
communication-protocol10
tlaplus10
tla10
protocols10
formal-verification10
blockchain8
back-end-development8
backend8
rust6
cosmos-sdk5
Programming languages (13)
Github contributions (5)
informalsystems/hermes
Mar 2020 - Jan 2023
IBC Relayer in Rust
Role in this project:
Backend Developer & Formal Verification Engineer
Backend Developer & Formal Verification EngineerContributions:4 releases, 1081 reviews, 292 commits in 2 years 10 months
Contributions summary:Adi primarily focused on the formal specification and design of the Hermes IBC relayer using TLA+. Their contributions included developing TLA+ specifications for the connection handshake protocol, including the connection end and the environment interactions. The user also made incremental improvements, such as adding invariants, fixing bugs, and incorporating feedback from team members. The work involved rigorous verification of the connection handshake protocol, focusing on improving the formal specification to encompass features like packet delays and connection versioning, as demonstrated by the changes made to the TLA+ specifications.
rustblockchainibccosmosrelayer
adizere/tla-playground
Mar 2020 - Jan 2024
Contributions:1 push, 1 branch, 2 comments in 3 years 11 months
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.