Skip to content

@runtimeverification Runtime Verification Inc.

Users following runtimeverification

@chr15v0lant3
Christopher Volante chr15v0lant3
@huangjunwen
huang jw huangjunwen

GuangZhou, China

@kostunin
Dmitriy Kostunin kostunin
@svdev
S. svdev
@zhouzihao501
Zihao Zhou zhouzihao501
Natural Language Processing
@sunny-g
Sunny Gonnabathula sunny-g

@federato Austin, TX

@kehsihba-etahdiv
kehsihba etahdiv kehsihba-etahdiv
learning new everyday
@Jacksoncake
Jacksoncake
@Frnd-me
Marlon Etheredge Frnd-me
PhD Researcher in Computer Science. Freelance software engineer working on signal processing, high-performance computing, and computer graphics projects.

Marlon Etheredge Austria

@ADSWT518
Yazhou Tang ADSWT518
Master's student @FICTION-ZJU, B.Eng. @SJTU-CSE, PL/FM beginner

Zhejiang University Hangzhou, China

@jaybuidl
jaybuidl jaybuidl
Builder @kleros

@kleros asia-grid19-shard3

@dioptx
Dennis P dioptx
Surfing on/off-chain | Before data @binance, @glassnode, @ethereum-optimism, @arkhamintelligence | All neural outputs are my own or my dog

Athens, Greece

@lifestreamy
Tim Korelov lifestreamy
EN/RU
@KobeeBryant114514
Scout KobeeBryant114514

Shanghai

@SweetWorkBlock
SweetWorkBlock
@MarkoPohlo
MarkoPohlo
@Patriciber
Patriciaciber Patriciber
Learning...

Sevilla

@aeRToE
aeRToE
@dracoloveforall-crypto
dracoloveforall-crypto
@sofiabobadilla
Sofia Bobadilla sofiabobadilla
PhD student at @ASSERT-KTH Stockholm, Sweden

KTH Kungliga Tekniska högskolan, Sweden Stockholm, Sweden

@wissem01chiha
wissem chiha wissem01chiha

KPIT

@guenit
Guenit guenit
@MewMew0000
MyLittleLover MewMew0000
@cd-dpk
Dipok Chandra Das cd-dpk
Student/PhD
@Banezzz
Anon Banezzz
nomad
@mattyv
Matt V mattyv
@thpani
Thomas Pani thpani

blltprf.xyz Vienna, Austria

@diracpro
( ͡° ͜ʖ ͡°) diracpro
Python, Nest - Next JS, Solidity.

Dirac Pro

@wali-hu
Muhammad Abdullah wali-hu
Blockchain Protocol Engineer

Viral Vind Technologies Karachi Pakistan

@AmirSaranga
Ovi ADE AmirSaranga
Ovi LLC

Ovi ADE Tel Aviv Jaffa Israel

@songever
Wensong Trivial songever
1021940593@qq.com songever414@gmail.com

Jinan University GuangZhou, China

@bitexplorerxbt
bitexplorerxbt
@Heliodex
Lewin Kelly Heliodex
Svelte, TS, Luau, Go etc. The Unlicense is the greatest piece of text that humanity has ever been blessed with. 🟩 https://heliodex.cf 💚

@tp-link-extender Scotland

@rebeca-vacaru
rebeca-vacaru
@EmmanuelMess
Emmanuel M EmmanuelMess
Roboticist, Lic. in Computer Science. Developer in multiple FOSS projects, and worked at agrotech.

Argentina

@danielwangai
Dan danielwangai

Nairobi - Kenya

@unsoundsystem
unsoundsystem
Interested in system software and its formal verification

Japan

@Van-D-Ana
Van . Van-D-Ana

Bengaluru, Karnataka

@jiangsy
Shengyi Jiang jiangsy
@MRHMisu
MRHMisu
The Best of The Worst.

University of California Irvine Irvine, California

@yangky11
Kaiyu Yang yangky11
@gwpl
Grzegorz Wierzowiecki gwpl
just few of my alter-egos: @gww-fuel, @gww-certik, @gww-parity, @gwchsec

Europe - usually: Zürich, Warsaw or Berlin

@TheOphige
Theophilus Ige TheOphige
ML Research | Blockchain Protocol | ZK ...DeAI 🦀
@ichxorya
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.

@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy

@karbyshev
Aleksandr Karbyshev karbyshev
@OzPol
Ozlem OzPol
🐊 AI, ML & Robotics @ UF | ECE 🧡💙 | A connoisseur of technical rabbit holes; a digital alchemist bridging the gap between algorithms and atoms.
@tattwamasii2p
tat twam asi tattwamasii2p
Мїрїадї полїматїчнїхї олуховї. Ultїmate Ксєноморфінї Bїoartїfacts Cascade © 2025-2026. 1SAVE"psychic-tv-game.now.sh :: Трёщиновзрыво

Happy Biosphere Eternity Company, Discoverer or Rediscoverer, thanks to someone who told to have some stuffs tired when I was writing this. PLUK (ПЛЮК)

@Dejon-js
Dejon-js
@The-Wayvy
找道了 The-Wayvy

Singapore

@varun-doshi
Varun Doshi varun-doshi
Rust and Cryptography