igor@konnov.phd
konnov
Independent Research Scientist in Security and Formal Verification
konnov.phd Vienna, Austria
Ibrahim Ghonem
Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog
Sky limit Egypt
sam bacha
sambacha
@sambacha on telegram
https://x.com/@blockrotator
https://blockrotator.substack.com
@manifoldfinance
Gabriela Moreira
bugarela
Research Engineer at @informalsystems working on Quint
@informalsystems Joinville, SC - Brazil
Adi Seredinschi
adizere
\\ eng & product at informal.systems
\\ building things that last
Informal.Systems Lausanne
Cryptob3auty
Rose2161
Powered by Ethereum, Bitcoin Core , EOS, Edgeware, and Polkadot
Cryptob3auty Oregon
Chris
ccamel
nostalgeek • monadist • egoless open source buidler ⋯
CTO @axone.xyz / Co-founder @2Alchemists.com
@axone-protocol Toulouse
Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
Lausanne, Switzerland
Julius Flohr
juliusf
Softwre Engineer @microsoft. In a previous life I used to work on transport protocols at university of duisburg essen.
@microsoft Bochum