Gabriela Moreira
bugarela
Research Engineer at @informalsystems working on Quint
@informalsystems Joinville, SC - Brazil
Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
@informalsystems Lausanne, Switzerland