Alex

🇺🇸🏳️‍🌈🏳️‍⚧️🥄❄️🐆👩🏽‍💻 in 🇦🇺🇨🇦 working on 🍯⬢🔭 she/it

Building Digital Ecosystems at Google. https://hachyderm.io/@mekkaokereke He/him.

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

Computer Security Researcher @ Cambridge (https://www.danielhugenroth.com) and Co-Founder @ Light Squares (https://www.lightsquares.dev)

Cryptography researcher Lab assistant at Muppets Lab https://txin.dev

🔥 Live from the frontlines www.popularfront.co

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

Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social

Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026) Newsletter: https://buttondown.email/hillelwayne/

🔐 High Assurance Dad @cryspen.com

cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam soechsner.de

Professor of Computer Science at Cambridge.

Professor in Information Security at UCL Alumnus of EPFL and University of Passau https://philippjovanovic.com/

The official Real World Cryptography Bluesky feed. Follow us for news of upcoming events.

A curious child. https://michele.orru.net

UMD CS Prof. Security and applied cryptography.

Zcash's official load-bearing catgirl. The only good fascist is a dead fascist. How to pronounce my name: 'dɜːɹə 'ɛmə 'hɔ́pwʉd

🇦🇷 | Mathematician | Cryptographer | Researcher at Ethereum Foundation | Teaching at FaMAF, UNC

PhD student @EPFL, previously @ETH Interested in cryptography at large, post quantum and interactive proofs in particular. Interista alla Prisco.

Bit flipper

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

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/

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

Internet Security, Trust, and Safety Researcher. Stanford CS Faculty, Censys Founder and Chief Scientist, ZMap Creator. https://zakird.com/

Proud LatinAmerican. "Legendary quantum lady/cryptographer". Researcher @brave she/they hrpc co-chair @inretafo anti-fraud @w3c @otr_im @LondonU

everybody deserves good security. https://alecmuffett.com/about

Security Engineer interested in cryptography, information security, & privacy engineering.

prof @laws.ucl.ac.uk, technology, law, policy, society, whimsical latvian top level domain names. michae.lv and fediverse https://someone.elses.computer/@mikarv 🏳️‍🌈

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.

Faculty @Georgetown, Faculty Associate @BKCHarvard Digital security, "AI", safety, privacy, S*x W*rk Prev @MSFTresearch @Meta @umdcs @nsfgrfp @datascifellows

Designer at 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.

The universal platform for crypto, blockchain apps, stablecoins & decentralized tech. An account about the Ethereum ecosystem maintained by ‪@ethereum.foundation‬.

Professor and Department Chair of Electrical Engineering and Computer Sciences, UC Berkeley. Research Scientist (part-time) at Google. Founder, AddisCoder. 🇻🇮🇺🇸🇪🇹

The AI Accelerator Company. https://discord.gg/nousresearch

Applied Compositional Thinking 🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact

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]

Chief Scientist at the UK AI Security Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.

AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning

I make sure that OpenAI et al. aren't the only people who are able to study large scale AI systems.

Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.

Philosopher at VU Amsterdam PI of ERC-funded project 'Social Epistemology of Argumentation' (2018-2024) Author of 'The Dialogical Roots of Deduction' (CUP, 2020) and 'Formal Languages in Logic' (CUP, 2012) 🇧🇷 🇳🇱 (she/her)

Mathematics professor at Collège de France and fellow of Trinity College Cambridge.

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/

Mathematics and Philosophy of the Infinite Professor of Logic, University of Notre Dame University of Oxford #InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths https://buymeacoffee.com/joeldavidhamkins

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/

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 PFP x.com/7783__ 🐘 @lina@vt.social 📨 lina@lina.yt 💲 lina.yt/sponsor | lina.yt/kofi

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

Principal Research Scientist, Alan Turing Institute Autonomous Cyberdefence 🤖 and AI cyber risks ⚡ https://mavroud.is

piapark.me | https://github.com/rkdud007

Current: Asst Professor at Penn CIS Past: Cryptographer at Aleo Crypto and computer security PhD, UC Berkeley he/him

PhD student in Yale Applied Cryptography Lab working on scaling zero-knowledge proofs www.hadasze.me X: @idocryptography Just joined BlueSky!

Co-founder zksecurity.xyz | Math & crypto | 🇦🇹

👊 Battling techno-fascism with our Internet-savvy blend of attention-grabbing activism and mass mobilization. https://www.fightforthefuture.org/2026

Cryptographer

Applied cryptographer. Mainly working in the cryptography auditing industry, but sometimes venturing back into academia. Hobbyist puzzle game author. https://nadim.computer

Privacy, MPC, and coSNARKs at TACEO

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

Redefining Hardware Acceleration for High-Speed Cryptography, from Software to Silicon 🧊 Start here: dev.ingonyama.com

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

Jonathan Rouach Exec Director - ZKProof.org CEO - QEDIT

research l2beat

Mathematician & Math Teacher

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

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

Professor at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein

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

Author of the Seriously Risky Business cyber security newsletter

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

Threat researcher, human rights supporter, obsessive reader, marathon runner, eternal traveler, serial migrant, music blogger, lapsed mathematician. https://lapsedordinary.net/ Signal: martijngrooten.37

Columnist and chief data reporter the Financial Times | Stories, stats & scatterplots | john.burn-murdoch@ft.com 📝 ft.com/jbm

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

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

applied crypto, security, experimental things. head of research @baincapitalcrypto.com

picious until proven otherwise. Cryptography research and auditing at zkSecurity. Recurring co-host on the ZKPodcast. nmohnblatt.me

Founder & Chief Innovation Officer @ Bluesky 🌱 🪴 🌳

I sometimes do math and stuff chief scientist @baincapitalcrypto.com

AI @ OpenAI, Tesla, Stanford

Techno - Gauntlet - Robot Ventures - Risk Daddy

Founder and creative director of Bellingcat and director of Bellingcat Productions BV. Author of We Are Bellingcat.

Logician, category theorist, semanticist. Likes to understand life mathematically, please.

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

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/

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.

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

CNRS researcher at ENS

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

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

Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google. https://jeremykun.com https://pimbook.org https://pmfpbook.org https://buttondown.email/j2kun https://heir.dev

Tattooist among others. NY/CT. Founder Sang Bleu / TTTISM / Swiss Typefaces

Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.

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.

Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain