Skip to content

@formal-land Formal Land

Users following formal-land

@dhsorens
Derek Sorensen dhsorens

University of Cambridge London, UK

@domandlj
Juan Domandl domandlj
Computer Science @ FaMAF Contact: juan.domandl@mi.unc.edu.ar

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

@0xameer
0xameer
https://sr.ht/~carnotweat/

carnot Bangalore

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

CS PhD student at UMD Washington, DC

@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