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. I currently work at Informal Systems. Before that, I used to work at the Laboratory for Automated Reasoning and Analysis at EPFL.

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.

Recent articles

  • Coming soon...

Latest talk

Formal verification of Scala programs with Stainless

Scala Romandie Meetup, Lausanne, October 2019

All talks

Find me on

Twitter · Mastodon · GitHub · Keybase · Linkedin