Romain Ruetschi - Senior Staff Software Engineer at Circle

Romain Ruetschi

Senior Staff Software Engineer at Circle

Lausanne, Vaud, Switzerland

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

Romain Ruetschi is a Senior Staff Software Engineer based in Lausanne with 15 years of experience building robust, formally grounded distributed systems and developer tooling. He blends deep expertise in Rust, Scala, Haskell, functional programming and type theory with hands-on leadership—having led the Hermes IBC relayer and architected Tendermint client libraries and a Rust-based Byzantine fault-tolerant consensus engine. His background at EPFL includes major contributions to Stainless, a formal verification framework, and he’s applied model-based testing and simulators to bridge research and production. An active open-source maintainer, he contributes pragmatic improvements from CLI design to async refactors, and brings an unusual combination of formal-methods rigor and practical engineering to complex protocol and consensus problems.

15 years of coding experience

11 years of employment as a software developer

Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Ecole polytechnique fédérale de Lausanne

Certificat Fédéral de Capacité / Federal VET Certificate, Computer Technology, Certificat Fédéral de Capacité / Federal VET Certificate, Computer Technology at EPSIC École professionelle de Lausanne

Master's degree, Computer Science, 5.7/6, Master's degree, Computer Science, 5.7/6 at EPFL (École polytechnique fédérale de Lausanne)

French, English, German

Github Skills (15)

asynchronous10

component-development10

tendermint10

command-line-interface10

comet10

javascript10

rpc10

rust10

react10

blockchain10

async10

cli10

command-line10

serde9

testing8

Programming languages (17)

C++CSSRustCoqScalaVueGoHTML

Github contributions (5)

informalsystems/hermes

Feb 2020 - Jan 2023

IBC Relayer in Rust

Role in this project:

Back-end Developer

Contributions:2 releases, 1721 reviews, 444 commits in 2 years 11 months

Contributions summary:Romain implemented the skeleton for the relayer's CLI, converting configuration examples into a module within the relay crate. They added the framework for the relayer's command-line interface, incorporating the Abscissa crate, and added configurations to the CLI. They also added functionality to create and update clients. The user also worked on event monitoring and improved code readability.

rustblockchainibccosmosrelayer

informalsystems/tendermint-rs

Mar 2020 - Jan 2023

Client libraries for Tendermint/CometBFT in Rust!

Role in this project:

Back-end Developer

Contributions:10 releases, 316 reviews, 105 commits in 2 years 10 months

Contributions summary:Romain primarily contributed to client libraries for Tendermint/CometBFT in Rust. They refactored the RPC client, changing it into a sync function and taking ownership of the RPC address to avoid unnecessary clones. They also converted the `lite::types::Requester` into an async trait and updated related test and verifier functions. Additionally, the user updated integration tests to use async `tokio::test` and added a matching serializer for the `app_hash` field in the block header.

ethereumrustblockchaintendermintcometbft

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.

Request Free Trial