Skip to content

@verse-lab Verified Systems Engineering Lab

Users following verse-lab

@vmmc2
Victor Miguel de Morais Costa vmmc2

Recife, Brazil

@jiangsy
Shengyi Jiang jiangsy
@nikhilesh1234
Nikhilesh nikhilesh1234

@accenture Chennai

@CogniDroid
Dries Frederickx CogniDroid
Existing in a time where I try to use my incompetence.

Belgium

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@averykatko
Avery Pinko averykatko

@odoo Belgium

@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@arademaker
Alexandre Rademaker arademaker
Researcher in Logic, Computational Semantics, NLU and KRR.

EMAp/FGV Rio de Janeiro

@BrunoDutertre
Bruno Dutertre BrunoDutertre

@awslabs Amazon

@sunny-g
Sunny Gonnabathula sunny-g

@federato Austin, TX

@andrew-werdna
Andrew Brown andrew-werdna
Software Engineer and Math enthusiast

Austin, Texas

@bbeatrix
bbeatrix
@Komyyy
Miyahara Kō Komyyy

Tokyo University of Science Tokyo, Japan

@htadashi
Tadashi htadashi
@jtcoolen
Julian Coolen jtcoolen
Research Engineer in Cryptography

EY London, England

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

Zhejiang University Hangzhou, China

@selwyn-mccracken
Selwyn McCracken selwyn-mccracken
@sceptejas
TEJASVI sceptejas

bangalore

@policecar
priska policecar

Berlin

@AndrewDGordon
AndrewDGordon
@dhsorens
Derek Sorensen dhsorens
protocol snarkification @ethereum

Ethereum Foundation

@tiny-eng
Josh tiny-eng
I love working on new challenges. If you need help with any tasks, I’d be happy to connect.
@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@shmuelhanoch
shmuelhanoch
@KoanOps
唐家義 KoanOps
USA & Hong Kong

University of Texas - Austin Houston, TX

@XujieSi
Xujie Si XujieSi

University of Toronto Toronto

@dSampietro
dSampietro
@start974
Jeremy Damour start974

Paris

@broSysX64
Ranis Safiullin broSysX64
@unsoundsystem
unsoundsystem
Interested in Systems software and their formal verification

Japan

@diohabara
渋沢栄一津田梅子北里柴三郎 diohabara
Money money money

プロプログラマー Tokyo

@joewatt95
joewatt95
@luxas
Lucas Käldström luxas
Emeritus @kubernetes SIG & WG co-chair and @cncf Ambassador | Staff Engineer at @upbound | MSc studies at Aalto Uni | KubeCon Keynote Speaker | KCD Helsinki

@kubernetes @cncf @upbound Finland

@SnO2WMaN
SnO₂WMaN SnO2WMaN
お前の好きなものが分かってよかった

チルノのパーフェクトさんすう教室

@XCIVIIXIII
O□△s△□O XCIVIIXIII

💫

@yaksheng
Richard Lee yaksheng

Singapore

@Tiancheng-Luo
Tiancheng-Luo Tiancheng-Luo
@silranucci
Silvestro Ranucci silranucci
Rust | Nix | Linux

Milan

@yanliu18
Yan yanliu18
Programming Language, Formal Methods Researcher / Smart Contract Auditor / Haskell/Rust programming

Australian National University Melbourne

@alok
Alok Singh alok
If you’re a smooth operator, you can infinitely differentiate yourself.

Berkeley, CA

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@nsrknth
nsrknth
@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

@proxima-technology Japan

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@dkapt
Dimitrios Kapetanios dkapt

Greece

@MostWrong
typeØ(wl)female MostWrong
people will have agi before they have electricity thats stable all day - tszzl

your BigMAC address

@shubhamkumar13
shubham shubhamkumar13
Projects on : https://codeberg.org/shubhamkumar13

India

@jhvst
Juuso Haavisto jhvst

@Ponkila Oulu, Finland

@mahboobehad
Mahboobe mahboobehad

Iran