Hi! I am Romain Ruetschi, or just Romac.
I am a software engineer who strives to build correct and resilient software by standing on the shoulders of formal methods and programming language theory.
My main areas of interest are related to formal verification of software, programming language theory, type theory, and compiler construction. I like exploring these topics in Rust, Scala and Haskell.
Active projects
Show all projects
Corophage
Effect handlers on stable Rust
Choreo
Choreographic programming in Scala
cargo-stitch
A Cargo subcommand for applying source-level patches to crates before compilation
libp2p-scatter
lip2p protocol for broadcasting messages to connected peers
