Hi! I am Romain (or Romac).

At work, I strive to build correct and resilient distributed systems using Rust and formal methods.

At home, I like writing mini-compilers and all sorts of software in Rust, Scala, Swift and Haskell.