Michael Blondin
michaelblondin
Associate professor of computer science at the Université de Sherbrooke
Université de Sherbrooke Sherbrooke, QC, Canada
Interchain Adair
adairrr
@AbstractSDK co-founder
@cosmology-tech contributor
@AbstractSDK Perpetual Test Chamber
Penumbra
penumbra-zone
Penumbra is a fully private proof-of-stake network interoperable with the Cosmos ecosystem.
Guillermo A. Perez
gaperez64
I am a software engineer turned computer scientist. My interests include formal verification, learning theory, and theoretical computer science in general.
University of Antwerp Antwerp, Belgium
igor@konnov.phd
konnov
Independent Research Scientist in Security and Formal Verification
konnov.phd Vienna, Austria
Microsoft Research
MicrosoftResearch
Microsoft Research is the research subsidiary of Microsoft Corporation dedicated to conducting both basic and applied research.
Gabriela Moreira
bugarela
Research Engineer at @informalsystems working on Quint
@informalsystems Joinville, SC - Brazil
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Informal Systems
informalsystems
Premier Partner in Protocol Design & Cross-Chain Infrastructure