Hi, my name is 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.
PGP Key fingerprint (email@example.com):
02A8 0B86 4B97 1E10 BDE3 EA5E 5122 3DE6 C814 84B9
@ Tokyo University, August 2015
Simple functional programming language with refinement types, powered by Inox. Crafted for my Refine your types! (see above).
Rust implementation of threshold Shamir's secret sharing.
Rust implementation of Merkle trees.
mdash is a Chrome extension which replaces the New Tab page with a light dashboard linked with your bookmarks.
Hackers at EPFL was an association which aimed to promote the hacking culture at EPFL.