Skip to content

@formal-land Formal Land

@cfm
Cory Francis Myers cfm

@freedomofpress

@andreisilviudragnea
Andrei Silviu Dragnea andreisilviudragnea
🦀 Senior Rust Software Engineer • Contractor • Freelancer | Using Rust to build highly scalable web apps

Bucharest, Romania

@simek-m
Marek Šimek simek-m

Brno

@dmatysiak
Daniel A. Matysiak dmatysiak
@petebu
Peter Buchlovsky petebu
Software Engineer at Google DeepMind

@google @deepmind London, UK

@tadas-subonis
Tadas Šubonis tadas-subonis
@VrdrKv
KevinVerdiere VrdrKv

@hinfact Toulouse

@hknlof
Hakan Lofcali hknlof
@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

Northeastern University Boston, MA

@exAClior
Yusheng Zhao exAClior
Talk is cheap, let me code.

@CodingThrust Guang Zhou

@Gy-Hu
Guangyu (Gary) HU Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.

The Hong Kong University of Science and Technology Hong Kong

@fpoli
Federico Poli fpoli
@nhatanh002
nhatanh nhatanh002
@IgorErin
IgorErin IgorErin
@a-y-man
Ayman H. a-y-man
PhD Student @ DTU Compute
@tfmsadhith
rose-tree tfmsadhith
Hottest spot north of Havana!

Sacred Hearts Club Copacabana

@exxjob
exxjob
i have no mouth and i must beatbox
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@thamugadi
aramya thamugadi
@ShabbirHasan1
Shabbir Hasan ShabbirHasan1
Electrical Engineer

India

@beike-zh
beike-zh
@Ao-senXiong
Aosen Xiong Ao-senXiong

University of Waterloo Waterloo, ON, Canada

@theo-chengkai-wang
Theo Wang theo-chengkai-wang
@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus

@hggmarks
Hugo Marques hggmarks
I think people should stop learning languages and start learning programming already.

Recife, Brazil

@jiawenliu
jiawenliu jiawenliu

Boston University Boston

@gaxiiiiiiiiiiii
gaxiiiiiiiiiiii
@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@Zeta611
Jay Lee Zeta611
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))

@ropas @KoreanTUG Seoul, Republic of Korea

@EmreBlky
Emre Balkay EmreBlky
Sevdiğin Her ne ise Onu Bull ve Seni Öldürmesine İzin Ver.....!!!

MicroChipTecnology Körfez

@dhsorens
Derek Sorensen dhsorens

University of Cambridge Cambridge, UK

@domandlj
Juan Domandl domandlj
Computer Science @ FaMAF Contact: [email protected]

Argentina

@Alizter
Ali Caglayan Alizter

London, United Kingdom

@eapiova
Riccardo Borsetto eapiova

Padua

@01tpaabr
Thiago Andrade 01tpaabr
@jimmysitu
Jimmy Situ jimmysitu
CPU Micro Architect

ZHAOXIN, JMST 1KHujLT4AzQwQKSLEUSbcergqv7fMnQNXA

@InfiniteEchoes
GY InfiniteEchoes
@Seteh
Igor Kriklivetc Seteh
@jhwohlgemuth
Jason Wohlgemuth jhwohlgemuth
Jesus follower. Husband. Father of 3. Progressive programming polyglot pursuing perfect software. Geospatial Data scientist @ORNL.

Oak Ridge National Laboratory Knoxville, TN

@dhilst
Daniel Hilst dhilst
President of People's Republic of Saturn's Rings.

Brazil - Florianópolis

@dphov
Dmitry Petukhov dphov
@andrewinci
Andrea andrewinci

Kaluza Edinburgh

@Ptival
Valentin Robert Ptival
Programming Languages and Software Verification

Galois, Inc. Portland, OR

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities.

Formal Land Paris

@roza
Gérard Rozsavolgyi roza
CS, Maths & Web

Nice, France

@carnotweat
sameer gupta carnotweat
now sr.ht/carnotweat

carnot Bangalore

@kzdnk
kzdnk
@rybla
Henry Blanchette rybla
programming languages, formal verification, functional programming, game theory.

CS PhD student at UMD UMD

@tkersey
Tim Kersey tkersey
If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich

@thisisartium Los Angeles, CA

@fivejjs
vfive fivejjs
ML Engineer, DS and software engineer

Data scientist and engineer Sydney Australia