p-offtermatt
Follow
Michael Blondin
blondimi
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
Brian Truax
Btruax
Currently working on the Cosmos Hub team at Informal Systems.
Informal Systems United States / Australia
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
konnov
Independent Security and Formal Methods Research Scientist
Independent Vienna, Austria
Rano | Ranadeep
rnbguy
blockchain security | automated testing | formal methods
@informalsystems Paris, France
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 concurrent systems.
