igor@konnov.phd
konnov
Independent Research Scientist in Security and Formal Verification
konnov.phd Vienna, Austria
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
Lausanne, Switzerland