Skip to content

@GaloisInc Galois, Inc.

@nsrknth
nsrknth
@mocenigo
mocenigo mocenigo
Father, Composer, Mathematician, Cryptologist. Former architect at ARM. Designed QARMA. Chaotic good. Notorious craic killer.

Munich, Bavaria, Germany

@mcsmonk
Sunghyun Jin mcsmonk

Samsung Electronics Republic of Korea

@tonywu6
Tony Wu tonywu6
Web dev | 🏳️‍🌈
@djspacewhale
djspacewhale
@slash3b
Ilya slash3b
Autumn is the best time of year

Moldova

@br0kej
Josh Collyer br0kej
Algo Alchemist at @RevEngAI. PhD Researcher at Lboro Uni.

RevEng.AI UK

@Tiancheng-Luo
Tiancheng-Luo Tiancheng-Luo
@Alf0nso
Afonso Rafael (Gafanhoto) Alf0nso
Compilers, Functional Languages, Linux and too many projects I end up not finishing

Barcelona Supercomputing Center Salamanca

@Xanthonus
Xanthonus Xanthonus
Computer Security Researcher

Seattle, WA

@walterhu1015
walterhu1015
@linuer
linuer linuer

FuZhou,China

@MilleniumSpark
MilleniumSpark
@rzintct
rzintct
@BwRy
BwRy
This user prefers an air of anonymity
@jklpdgoat
Goat D Jar jklpdgoat
@hamannju
hamannju
@yangjing001
yangjing001
@0xDAEF0F
alex t. 0xDAEF0F

localhost

@Gilgahex
R Gilgahex
Biophysicist turned hardware/software developer :::::::; Fascinated by Cybernetics, Neuroscience, Quantum Physics, Music, AI/ML

Santa Barbara

@Mitchtdk
Mitch Kennedy Mitchtdk
Software Engineer interested in High Assurance Software Systems and Formal Methods.

Australia

@AyomideA-S
Ayomide Ayodele-Soyebo AyomideA-S
Dental Student | (ISC)² Certified in Cybersecurity | Software Engineering student @ ALX

@CodingPeps Lagos, Nigeria.

@shpark
Seonghyun Park shpark
Embracing mediocrity

Seoul, Korea

@EA0000
EA0000
@cyberbeaver
cyberbeaver
@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@tatiana-s
tatiana-s
@LibertasSpZ
LibertasSpZ
@TacoMan737
dannyt TacoMan737
@mbeynon
Mike Beynon mbeynon

@GaloisInc

@seal9055
seal9055
Interested in Security and CTFs

UMASS Amherst Massachusetts

@tandf
Yunpeng Luo tandf
@minalspatil
Minal S Patil minalspatil
Explainable AI, Counterfactual Theory and Causal Inference, Neural-Symbolic Learning, Machine Reasoning, (Lifelong) Reinforcement Learning

Umeå universitet Umeå, Sweden

@bhusalb
Bishnu Bhusal bhusalb
Security & Privacy Researcher

Mizzou Columbia Missouri

@Hamid-K
Hamid Hamid-K
@fool1280
Anh (Henry) Nguyen fool1280
Computer Science @ Texas A&M

learning @TobikoData College Station, TX, USA

@river-li
Zichuan Li river-li
Ph.D. student at IUB, focused on computer system security.

@vector35 Palm Bay, FL

@michelk
Michel Kuhlmann michelk

Zürich

@rou-cruz
rou-cruz

Mexico

@neuroo
Romain Gaucher neuroo
Security and code. Semgrep research. Previously: Meta and Coverity

France

@elee
Eric Lee elee
switches on everything

GitHub Schwambrania

@apo-llonx
Anton apo-llonx
link
@cyw3
yale cyw3
Program Analysis | Compiler | Virtual Machine
@7-jack
Jack Cheng 7-jack
@antonio-pedro99
António Pedro antonio-pedro99
Android Developer | Flutter | Kotlin | Java | Firebase | Undergraduate Researcher at IIITD's MIDAS Lab | LFX mentee'23 at CNCF working on Strimzi | OpenHack'22

Indraprastha Institute of Information Technology Delhi Delhi, India

@lemastero
Piotr Paradziński lemastero
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data in Scala / Haskell / Idris / Agda @ScalaConsultants

Lublin

@eemailme
eemailme
Just doing stuff for fun! ps. I don't like AI
@schriner
Sonya schriner
@tiferrei
Tiago Ferreira tiferrei
He/Him • Computer Scientist @UCL-PPLV

@UCL-PPLV London, UK

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP Portugal