Romain Ruetschi

Lausanne, Vaud, Switzerland

Join Prog.AI to see contacts

Summary

🤩

Rockstar

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

Github Skills (15)

asynchronous10

component-development10

tendermint10

command-line-interface10

javascript10

comet10

rpc10

rust10

react10

blockchain10

async10

command-line10

cli10

serde9

testing8

Programming languages (22)

CSSC++oocRustScalaMakefileVueGo

Github contributions (5)

informalsystems/hermes

Feb 2020 - Jan 2023

IBC Relayer in Rust

Role in this project:

Back-end Developer

Contributions:2 releases, 1731 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.

rustcosmosibcblockchaintendermint

cometbft/tendermint-rs

Mar 2020 - Jan 2023

Client libraries for Tendermint/CometBFT in Rust!

Role in this project:

Back-end Developer

Contributions:12 releases, 317 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.

rusttendermintcometbftlight-client

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