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.