Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
Lausanne, Switzerland
Thomas Pani
thpani
Freelance Protocol Correctness R&D | formal verification, fuzzing, simulation, security+PL advice
blltprf.xyz Vienna, Austria
Gabriela Moreira
bugarela
Research Engineer at @informalsystems working on Quint
@informalsystems Joinville, SC - Brazil
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Adi Seredinschi
adizere
\\ eng & product at informal.systems
\\ building things that last
Informal.Systems Lausanne
Anton Kaliaev
melekes
Software Engineer, Traveler, Glorified Plumber #distributedsystems #consensus