Skip to content

@isabelle-prover Isabelle

@zufius
zufius
@itsKayWat
itsKayWat itsKayWat
👋 I'm Chris Loetz, I make stuff. Crafting tools to help stores and teams streamline operations and enhance efficiency - TikTok: @ll_kaywat_ll - OnPoint

NexusStream Project Ai One Click Away From You =P

@giuliocaflisch
Giulio Caflisch giuliocaflisch
Mathematics student from Italy (Sicily) and Switzerland (Grisons). Adult fan of Lego®.

somewhere

@djvelimir
Velimir Đurković djvelimir
Senior Software Engineer

Novi Sad, Vojvodina, Serbia

@galin-chung-nguyen
Chung Thai Nguyen galin-chung-nguyen
Zero-knowledge proof

tracuusaoke Vietnam

@samuelpswang
Samuel Wang samuelpswang
Imperial College London EEE 25
@joewatt95
joewatt95
@edgaramirbekian
Edgar Amirbekyan edgaramirbekian

Armenia

@N0FreeLunch
Owl's Insight N0FreeLunch
bounded context definer

Yokohama, Japan

@juanmirocks
Dr. Juan Miguel Cejuela juanmirocks
AI & software engineer - security architect

@Cloudflare Munich

@JonathanStarup
Jonathan Lindegaard Starup JonathanStarup
Computer science PhD at Aarhus University

Aarhus, Denmark

@ymmmt
ymmmt
@SyntakticSugar
Robert Culling SyntakticSugar
Here so I can login in to AoC 👨‍💻

Christchurch, New Zealand

@Hacker-Code-J
Ji, Yong-Hyeon Hacker-Code-J

Crypto & Security Engineering Lab (CSE)

@Zhang-Liao
Zhang-Liao Zhang-Liao
@ad-si
Adrian Sieber ad-si
CEO @Airsequel | Haskell, Elm, PureScript, Rust

@Airsequel Frankfurt am Main

@kohloderso
Christina Kirk kohloderso

University of Innsbruck Innsbruck

@vn91ejmin
Ejmin vn91ejmin

Yerevan, Armenia

@z3r086
Andreas Karg z3r086
NEW-WAVE

3V1L-Z3R0 Marl

@ianhhlee
ianhhlee
@alexanderlhicks
Alexander Hicks alexanderlhicks
@KennyOliver
Kenny • 餉尓 • ケニー KennyOliver
TypeScript, React, Bash, Express, Firebase, SQL, SCSS, Git, Docker, and more

Undergrad CS Student London, UK • Suffolk, UK

@YiranDuan721
Yiran Duan YiranDuan721

Technical University of Munich Munich, Germany

@bsall
bsall bsall
@HuaYuan-Tseng
Rex.Tseng HuaYuan-Tseng
Hi, I am Rex. Primarily using modern C++.

Taiwan, Taipei

@ale256
A. Le ale256
@jonastahl
Jonas Stahl jonastahl

Technical University of Munich

@vishallama
Vishal Lama vishallama
Software Engineer (Scala/ZIO/Rust), building distributed/concurrent applications. Interested in using formal verification methods in business applications.

USA

@FadiShawki
Fadi Shawki FadiShawki
The Universalis' afoot @orbitmines

@orbitmines The Netherlands

@roundEaredSengi
alicia roundEaredSengi
@pabloski80
pabloski80
@ametisto26
Kristalo ametisto26
Add a bio.
@jimmysitu
Jimmy Situ jimmysitu
CPU Micro Architect

ZHAOXIN, JMST 1KHujLT4AzQwQKSLEUSbcergqv7fMnQNXA

@mariannethierry
Thierry Marianne mariannethierry
@Node2Tree
Node2Tree
@varo712
Álvaro varo712
Mathematician and Statitician

Seville, Spain

@haskell-monad
luna haskell-monad
所有的善恶都是我.良心一路走来依旧清澈鲜活...

China Beijing

@gleblobanov
Gleb Lobanov gleblobanov
@mi-ki
mi.ki mi-ki
Researcher in formal methods @kastel-security. (he/him)

Karlsruhe Institute of Technology (KIT) Karlsruhe, Germany

@cxlvinchau
Calvin Chau cxlvinchau
PhD Student @ TU Dresden. Interested in probabilistic model checking, neural network verification and formal methods in general.

TU Dresden Dresden, Germany

@zihaoli-cn
Zihao Li zihaoli-cn
Institute of Computing Technology, Chinese Academy of Sciences. interested in Compiler
@Wintus
wint Wintus
I was a web dev → now on the ground 📡🛰️

Tokyo

@ciaran-matthew-dunne
Ciarán Dunne ciaran-matthew-dunne
enjoyer of set theory, proof assistants, formal mathematics.

ENS Paris-Saclay Paris, France

@adbrucker
Achim D. Brucker adbrucker
Cybersecurity Prof at Uni Exeter, UK. Former Security Testing Strategist at SAP SE. https://logicalhacking.com

@logicalhacking Software Assurance & Security Research Team Exeter. UK

@seanpm2001
Sean P. Myrick V19.1.7.2 seanpm2001
I'm an experienced programmer, with the intent to make the world a much better place, and protect freedoms of the Internet. I am skilled in Python, and web dev.

Self-employed; looking for tips Walla Walla Washington, USA, Earth, Milky way, <Universe>