Liz Fong-Jones (方禮真) @lizthegrey.com 🇺🇸🏳️🌈🏳️⚧️🥄❄️🐆👩🏽💻 in 🇦🇺🇨🇦 working on 🍯⬢🔭
she/it
Mekka Okereke @mekka.mekka-tech.com Building Digital Ecosystems at Google.
https://hachyderm.io/@mekkaokereke
He/him.
David Wong @cryptodavidw.bsky.social https://cryptologie.net/ | founder of @zksecurity.bsky.social | research advisor ArchetypeVC | author of Real-World Cryptography | Previously architect for Mina (at O(1) Labs), security lead for Libra (at Facebook), cryptography services at NCC Group
Daniel Hugenroth @lambda.bsky.social Computer Security Researcher @ Cambridge (https://www.danielhugenroth.com) and Co-Founder @ Light Squares (https://www.lightsquares.dev)
Tianxin Tang @koptxin.bsky.social Cryptography researcher
Lab assistant at Muppets Lab
https://txin.dev
POPULAR FRONT @popularfront.co 🔥 Live from the frontlines
www.popularfront.co
Topos Institute @toposinstitute.bsky.social US/UK-based non-profit research institute. We shape technology for public benefit by advancing sciences of connection and integration. Our goal is a world where the systems that surround us benefit us all.
https://topos.institute- E Evan Patterson @epatters.bsky.social Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
Hillel is on Social Media Break @hillelwayne.com Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Franziskus @franziskuskiefer.de 🔐 High Assurance Dad @celabs.eu | Advisor @cryspen.com
Sabine Oechsner @proofnerd.bsky.social cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
Tom Gur @tomgur.bsky.social Professor of Computer Science at Cambridge.
Philipp Jovanovic @philippjovanovic.bsky.social Professor in Information Security at UCL
Alumnus of EPFL and University of Passau
https://philippjovanovic.com/
Real World Crypto Symposium @rwc.iacr.org The official Real World Cryptography Bluesky feed. Follow us for news of upcoming events.
Michele Orrù @tumbolia.bsky.social A curious child. https://michele.orru.net
Ian Miers @secparam.bsky.social UMD CS Prof. Security and applied cryptography.
Daira-Emma Hopwood @daira.bsky.social Zcash's official load-bearing catgirl. The only good fascist is a dead fascist. How to pronounce my name: 'dɜːɹə 'ɛmə 'hɔ́pwʉd
Arantxa Zapico @arantxazapico.bsky.social 🇦🇷 | Mathematician | Cryptographer | Researcher at Ethereum Foundation | Teaching at FaMAF, UNC
Giacomo Fenzi @giacomofenzi.bsky.social PhD student @EPFL, previously @ETH
Interested in cryptography at large, post quantum and interactive proofs in particular.
Interista alla Prisco.
Kenny Paterson @kennyog.bsky.social Bit flipper
ZK Hack @zkhack.dev Your journey into zk starts here: Events, puzzles, videos, study clubs 🚀
Discord: https://discord.gg/VGyP6GtGd2
YouTube: https://youtube.com/@zkhackdev
Website: https://zkhack.dev
Ron Deibert @rondeibert.bsky.social Director of The Citizen Lab at the University of Toronto's Munk School of Global Affairs & Public Policy
Author of Chasing Shadows https://chasingshadowsbook.ca/
@carmelatroncoso.bsky.social @carmelatroncoso.bsky.social
Alice Hutchings @message4bob.bsky.social Professor of Emergent Harms, Department of Computer Science & Technology, University of Cambridge
Director, Cambridge Cybercrime Centre
Fellow and Director of Studies, King's College
she/her
Zakir Durumeric @zakird.com Internet Security, Trust, and Safety Researcher. Stanford CS Faculty, Censys Founder and Chief Scientist, ZMap Creator. https://zakird.com/
Sofia Celi @claucece.bsky.social Proud LatinAmerican. "Legendary quantum lady/cryptographer". Researcher @brave @bristoluni.bsky.social she/they
Alec Muffett @alecmuffett.bsky.social everybody deserves good security.
https://alecmuffett.com/about
Steve Weis @handle.invalid Security Engineer interested in cryptography, information security, & privacy engineering.
michael veale @michae.lv prof @laws.ucl.ac.uk, technology, law, policy, society, whimsical latvian top level domain names. michae.lv and fediverse https://someone.elses.computer/@mikarv 🏳️🌈
Ben Adida @benadida.com I lead an incredible team building voting machines everyone can trust. https://voting.works
Optimistic about judicious uses of tech. Systems, security, privacy, cryptography, and the web are my jam.
Previously: Clever, Square, Mozilla, Harvard, MIT.
Elissa Redmiles @eredmil1.bsky.social Faculty @Georgetown, Faculty Associate @BKCHarvard
Digital security, "AI", safety, privacy, S*x W*rk
Prev @MSFTresearch @Meta @umdcs @nsfgrfp @datascifellows
Nuno @nloureiro.bsky.social Designer at Ethereum Foundation
Ethereum Foundation @ethereum.foundation The Ethereum Foundation (EF) is a non-profit that supports Ethereum. We work alongside the rest of the Ethereum ecosystem to improve the protocol, grow our community, and advocate for Ethereum.
Ethereum @ethereum.org The universal platform for crypto, blockchain apps, stablecoins & decentralized tech. An account about the Ethereum ecosystem maintained by @ethereum.foundation.
Jelani Nelson @jelaninelson.bsky.social Professor and Department Chair of Electrical Engineering and Computer Sciences, UC Berkeley. Research Scientist (part-time) at Google. Founder, AddisCoder. 🇻🇮🇺🇸🇪🇹
Nous Research @nousresearch.com The AI Accelerator Company. https://discord.gg/nousresearch
julesh @julesh.mathstodon.xyz.ap.brid.gy Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
Ioannis Kontoyiannis @kontoyiannis.bsky.social Information theory, probability, statistics. Churchill Professor of Mathematics of Information @UofCambridge: dpmms.cam.ac.uk/person/ik355/ 🧮 #MathSky 🧪 #Science
[used to be @yiannis_entropy at the other place]
Geoffrey Irving @girving.bsky.social Cofounder and Chief Scientist at Resolution. Alignment will be solved eventually, but not necessarily in time. Previously UK AISI, DeepMind, OpenAI, Google Brain, etc.
Jason Rute @jasonrute.bsky.social AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
Stella Biderman @stellaathena.bsky.social I make sure that OpenAI et al. aren't the only people who are able to study large scale AI systems.
Daniel Litt @littmath.bsky.social Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Catarina Dutilh Novaes 🟥 @cdutilhnovaes.bsky.social Philosopher at VU Amsterdam and ACEPS, University of Johannesburg
Author of 'Reason and Power in Argumentation' (2026), 'The Dialogical Roots of Deduction' (2020) & 'Formal Languages in Logic' (2012) (all @universitypress.cambridge.org)
🇧🇷 🇳🇱 (she/her)
Timothy Gowers @wtgowers.bsky.social Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Joel David Hamkins @joeldavidhamkins.bsky.social Mathematics and Philosophy of the Infinite
Professor of Logic, University of Notre Dame
University of Oxford
#InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths
https://buymeacoffee.com/joeldavidhamkins
Online Parallels (mastodon @onlineparallels) @onlineparallels.bsky.social
Simon Willison @simonwillison.net Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
Hoshino Lina (星乃リナ) 🩵 3D Yuri Wedding 2026!!! @lina.yt Hello everyone, Hoshino Lina here! I'm a developer VTuber!
▶️ lina.yt/magic
EN/日本語|she/her|🎨 #HoshinoLinArt
My gf: @cyan.yt 🩵|We are @thgirls.yt
🐘 @lina@vt.social
📨 lina@lina.yt
💲 lina.yt/sponsor | lina.yt/kofi
Nicolas Papernot @nicolaspapernot.bsky.social Security and Privacy of Machine Learning at UofT, Vector Institute, and Google 🇨🇦🇫🇷🇪🇺 Co-Director of Canadian AI Safety Institute (CAISI) Research Program at CIFAR. Opinions mine
Vasilios Mavroudis @mavroudisv.bsky.social Principal Research Scientist, Alan Turing Institute
Autonomous Cyberdefence 🤖 and AI cyber risks ⚡
https://mavroud.is
@xenaproject.bsky.social @xenaproject.bsky.social
pia @piapark.bsky.social piapark.me | https://github.com/rkdud007- P Pratyush Mishra @pratyush.zip Current: Asst Professor at Penn CIS
Past:
Cryptographer at Aleo
Crypto and computer security PhD, UC Berkeley
he/him
Website: pratyush.zip
Photoblog: photos.pratyush.zip
Hadas Zeilberger @hadaszeilberger.bsky.social PhD student in Yale Applied Cryptography Lab working on scaling zero-knowledge proofs
www.hadasze.me
X: @idocryptography
Just joined BlueSky!
Gregor Mitscha-Baude @gregor.plusepsilon.com Co-founder zksecurity.xyz | Math & crypto | 🇦🇹
Fight for the Future @fightforthefuture.org 👊 Battling techno-fascism with our Internet-savvy blend of attention-grabbing activism and mass mobilization.
https://www.fightforthefuture.org/2026
Nigel Smart @smartcryptology.bsky.social Cryptographer
Nadim Kobeissi @nadim.computer Applied cryptographer. Mainly working in the cryptography auditing industry, but sometimes venturing back into academia. https://nadim.computer
ais @aisconnolly.bsky.social Privacy, MPC, and coSNARKs at TACEO
TCS+ @tcsplus.bsky.social TCS+ is the original online seminar in theoretical computer science, committed to the carbon-free dissemination of ideas across the globe since 2013. Talks from the cutting edge of research in TCS, for a wide audience: https://www.tcsplus.org
Ingonyama ZK @ingonyama.com Redefining Hardware Acceleration for High-Speed Cryptography, from Software to Silicon 🧊
Start here: dev.ingonyama.com
Allison Nixon @nixonnixoff.bsky.social Chief Research Officer @ Unit 221B
most reliable way to reach me is my company's outreach form on the website
my other urls:
https://infosec.exchange/@nixonnixoff
https://www.linkedin.com/in/allison-nixon-81822124/
don't bother contacting me on twitter
jon @rouach.net Jonathan Rouach
Exec Director - ZKProof.org
CEO - QEDIT
Vitalik Buterin @vitalik.ca
donnoh.eth @donnoh.bsky.social research l2beat
Paolo Perrone @paolopmath.bsky.social Mathematician & Math Teacher
Gioele Zardini @gioele-zardini.bsky.social Rudge and Nancy Allen Assistant Prof @MIT, Ph.D. from @ETH_en, Postdoc @Stanford. Autonomy Talks. Compositional engineering driven by societal challenges🇨🇭
https://zardini.mit.edu
Dmitri Alperovitch @dmitri.silverado.org Geopolitics, Russia, China, Cyber
Chairman @silverado.org
Author of WorldOnTheBrink.com
Host GeopoliticsDecanted.com podcast
Founder Alperovitch Institute for Cybersecurity Studies at Johns Hopkins SAIS
Co-Founder CrowdStrike
@DAlperovitch elsewhere
Aaron Roth @aaroth.bsky.social Professor at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein
Kim Zetter @kimzetter.bsky.social Journalist - cyber/natn'l security. Speaker. Georgetown adjunct prof. Author - COUNTDOWN TO ZERO DAY: Stuxnet and the Launch of the World's First Digital Weapon
Signal: KimZ.42
https://www.zetter-zeroday.com
Tom Uren @tom.risky.biz Author of the Seriously Risky Business cyber security newsletter
404 Media @404media.co it's a website (and a podcast, and a newsletter) about humans and technology, made by four journalists you might already know. like and subscribe: 404media.co
Martijn Grooten @martijngrooten.bsky.social Threat researcher, rights supporter, obsessive reader, marathon runner, eternal traveler, serial migrant, music blogger, lapsed mathematician.
https://lapsedordinary.net/
Signal: martijngrooten.37
John Burn-Murdoch @jburnmurdoch.ft.com Columnist and chief data reporter the Financial Times | Stories, stats & scatterplots | john.burn-murdoch@ft.com
📝 ft.com/jbm
Ryan Gallagher @rjgallagher.co.uk Investigative reporter @Bloomberg.com covering technology & cybersecurity.
Anonymous tips: https://tips.hushline.app/to/ryan
Email: ryan@rjgallagher.co.uk
Signal/WhatsApp: +44 737-678-6842
Joseph Cox @josephcox.bsky.social Hacking/crime/privacy journalist. Author of DARK WIRE, buy here: https://www.hachettebookgroup.com/titles/joseph-cox/dark-wire/9781541702691/#preorder Co-founder of 404 Media. Signal: joseph.404 Email: joseph@404media.co
Kobi Gurkan @kobi.bsky.social applied crypto, security, experimental things
Nico @nmohnblatt.me picious until proven otherwise.
Cryptography research and auditing at zkSecurity. Recurring co-host on the ZKPodcast.
nmohnblatt.me
Jay 🦋 @jay.bsky.team Founder & Chief Innovation Officer @ Bluesky
Working on @attie.ai
🌱 🪴 🌳
guille @lmao.bsky.social I sometimes do math and stuff
chief scientist @baincapitalcrypto.com
karpathy @karpathy.bsky.social AI @ OpenAI, Tesla, Stanford
Tarun Chitra @pinged.bsky.social Techno - Gauntlet - Robot Ventures - Risk Daddy
Eliot Higgins @eliothiggins.bsky.social Founder and creative director of Bellingcat and director of Bellingcat Productions BV. Author of We Are Bellingcat.
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
Steven Murdoch @steven.murdoch.is Professor of Security Engineering; Head of UCL Information Security Research Group @sec.cs.ucl.ac.uk; Director Open Rights Group. 🐘 https://mastodon.social/@sjmurdoch 🐦 @sjmurdoch 🌍 https://murdoch.is/
Dan Roy @roydanroy.bsky.social Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Gabriel Peyré @gabrielpeyre.bsky.social CNRS researcher at ENS
Sam Power @spmontecarlo.bsky.social Lecturer in Maths & Stats at Bristol. Interested in probabilistic + numerical computation, statistical modelling + inference. (he / him).
Homepage: https://sites.google.com/view/sp-monte-carlo
Seminar: https://sites.google.com/view/monte-carlo-semina
@eleutherai.bsky.social @eleutherai.bsky.social
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Jeremy Kun @jeremykun.com Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google.
https://jeremykun.com/linkgraph
https://heir.dev
Maxime Plescia-Buchi @mxmttt.bsky.social Tattooist among others. NY/CT.
Founder Sang Bleu / TTTISM / Swiss Typefaces
Clément Canonne @ccanonne.github.io Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
ePrint Updates @eprint.ing.bot Unofficial bot tracking the IACR Cryptology ePrint Archive (eprint.iacr.org). Maintained by @str4d.xyz.
Currently only posts about new papers. Author names are linkified to Bluesky accounts (cryptography.social); contact maintainer for inclusion/removal.
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain