Igor Konnov | konnov.phd | security*formal 🧐
@k0nn0v
independent security and formal methods researcher
ID: 1286567357343846400
https://konnov.phd 24-07-2020 07:43:28
476 Tweet
350 Takipçi
378 Takip Edilen
shane.stars ✨🔭 ⚛️🇺🇸
@shan3v
Founder @StargazeZone @intergaze_xyz, @CosmWasm founding team, 🦀
Timofei Istomin
@timblim
zmanian.eth
@zmanian
@iqlusioninc. @sommfinance. interoperable blockchains with @cosmos. smart contract for all with @agoric and 0L.network he/him. shape rotator
Pavel Tcholakov
@paveltcholakov
Turing machine tamer, also interoperates with human beings. Love hi-perf systems and teams! Working on @restatedev – previously engineering @stedi, @awscloud.
billy
@billyrennekamp
Triflin' @triflelife Founded @foliafoliafolia, @cloversnetwork 🌱🍀 Prev @CosmosHub Lead, Funding at @interchain_io ⚛️ & EIR at @1kxnetwork 🔬
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
BΞrnd
@bernd_eth
I hunt bugs on/off-chain. Mostly EVM (Solidity), Cosmos SDK + cosmwasm, Rust, Go, Move,..
Nayanjyoti Deka
@dekanayanjyoti
Software Engineer @confluentinc 👨💻 | Distributed Systems | Tweets/likes don’t represent employer
Ethan Buchman (🐝,🦇)
@buchmanster
Internet Biophysicist. Sustainability Existentialist. Monetary Localist. Co-founder @cosmos. CEO @informalinc. Incubating @cyclesmoney.
Abhay
@bothra90
Co-Founder/CTO @FennelAI | Opinions my own
Jack Zampolin
@jackzampolin
Founder @strangelovelabs, consensus maxi, interoperability wizard, probing the intersection of AI and Crypto
Daniel
@ehwoahthere
Mechachleopteryx
@galactromeda
Mechanical Sprout Wing
Suchin
@agarwalsuchin
Information Retrieval, Data Mining, and Large Scale Data Processing. LinkedIn profile: linkedin.com/pub/suchindra-…
Anton Kaliaev 🌚⚛️
@_melekes
Cosmos OG @informalinc Ex @AllInBits_Inc, @ParityTech
jehan
@jtremback
Denis Fadeev 🟩
@fadeev
Developer Experience @ZetaBlockchain • Helped thousands of devs start building with @Cosmos • Created the Ignite CLI • Ex-VP of Product at Tendermint.
Daniel Dirdal
@lillaer
Studying Computer Science at UIS. Big fan of BTS.
Heidi Howard
@heidiann360
Distributed Systems Researcher, Azure Research (Microsoft)
Nikita
@nikgalushko
ну и что?
SajithSS
@sajithss86
pratikbin | NodeOps
@pratikbin
👨🏭Building Decentralized Orchestrator | 🏗️Co-Founder & Tech @NodeOpsHQ | 💻Core-Contributer @BuildOnNodeOps | 🧔🏻♂️Virtuoso | BhaiOps | ⋈
Zach Backup Account
@zachcabrams
building stablecoin | bridge.xyz Bridge is an entirely new payments platform, built with stablecoins, to simplify global money movement
Federico (🇪🇺, 🇩🇪)
@fekunze
(🇨🇱, 🇩🇪). Prev @EvmosOrg, @IBCProtocol and @cosmos
Ankush Desai
@ankushpd
Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : p-org.github.io/P/
Informal Systems 🌱
@informalinc
Premier Partner in Protocol Design & Cross-Chain Infrastructure | Audits | Validator | Incubating @cyclesmoney | Supporting early-stage projects @informalvc
Jelena
@jelena_noble
defiantly optimistic. founder @noble_xyz; building in @cosmos✨ // co-founded @web3canada
Thyborg
@thyborg_
@Cosmos strategy at @informalinc | Member @HydroTeam_ | Curator-in-chief of the Interchain Reports datastudio.google.com/s/oQsFJ_1CTGI
Adi Seredinschi
@adiseredinschi
building things that last @informalinc
JD Lorax
@jdlorax
Actually a Lorax. Indigenous roots. Sḵwx̱wú7mesh born. Gitxsan raised. Sovereignty maximalist. Mountain biker. Cat lover.
Shoaib Ahmed
@sufialhussaini
@cyclesmoney @informalinc; prev: ibc-rs, basecoin-rs; #rust crypto/protocol dev; Respecting the graph since 2023; Opinions are my own
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Christopher Goes
@cwgoes
0 ~= 1 ? building @anoma to replace this bird site forever. language is the last defense of the slow game.
Larry Engineer 🍡
@larry0x
Founder of @dangoXchg • 中文 @larry_engi77836
Daiana 🔶️
@daianam007
Ecosystem Lead building the Eastern Europe Builders Community✨. Founder @cometsofweb3_, @sunDAOventures. Prev @interchain_io @ProcterGamble @DeutscheBank @DukeU
Citizen Web3
@citizen_web3
| Non-Custodial, Self-Hosted, Bare-Metal Validator and Infrastructure Provider | Mothership: Citizen Web3 Podcast, B.V.C. @therealvalinfo @W3_Society |
Annie
@carterannie92
NavaroSandrine
@nsandrine57035
Evlorlaf
@evlorlaf8286
Pebaww
@pebaww6105
Vitalist Doxometrist
@doxometrist
How to thrive in the animistic Universe (as a post-rationalist)?
AGIS Network
@agisagent
AI-powered Omnichain Smart Contract Auditing and Validation Protocol | An AgentLayer Ecosystem Agent
Alxaca
@alxaca4916
Divya Ranjan
@divyaranjan1905
Implementing mathematics and formal verification on smart contracts. Also a connoisseur of compilers and programming language theory.
ROIC_KING🇺🇸
@nieaxuc290712
15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Areruimaw
@areruimaw63387
Jeff Security
@jeffsecurity
Independent Smart Contract Researcher & Researcher at @ShieldifySec My mission is to find vulnerabilities in smart contracts for a safer Web3 Space!
Ebrima
@ebrima999481
Artawgark
@artawgark6437
Saint Homobonus
@sthomobonus3
Cogito ergo sum.
waIIet Hero
@xeqal865
Gods determine what you're going to be。
POPG
@popgtoken
A Lifestyle. A Status. A Passion. | Web3 Entertainment | VIP rewards, iGaming, Event Access| Join Our Community t.me/POPGtoken 💚🍀🔞🚀
Friso
@cryptofriso
Working @TedLabsio | Crypto Analyst | Investing & Trading | Not Financial Advice
Aljiefer
@aljiefer083965
Uday
@umukh_3
it's all a skill issue
Nathan Wilkinson
@nathanwilk22266
Davis Treybig
@treybigdavis
Early stage investor at Innovation Endeavors, focused on computing infrastructure, data/AI, and tools for builders.
soren yang
@soren_yang
K9BPG74P
owen wilsons alt
@ecmecm11
KACHOW
Claudio Omar Biale
@cbiale78
TigerBeetle
@tigerbeetledb
The financial transactions database designed to power the next 30 years of online transaction processing.
Joran Dirk Greef
@jorandirkgreef
Founder & CEO of @TigerBeetleDB — the financial transactions database designed for mission critical safety and performance.
Programmer Incorporated
@programmerinc
@ProgrammerDotSH 📰 📅 🎙️ 🎬 🎓 📚 🛒 🍻 🤓 coming soon.
Dhairyshil Kamble
@dhairyshil46761
Project Manager
Hovor
@hovor7656987
auditism
@0xauditism
Auditor be auditing | Securing the insecure
Eric M
@ericm05586173
CSE PH.D. student @UCSD
0xZRA
@0xzra
xiao xiaoei
@xxiaoei9603
Ieblauorneet
@ieblauorneet67