Turing-Complete Onion @cstheoryonion.bsky.social Memes but for CS Theory
arxiv cs.GT @arxiv-cs-gt.bsky.social Computer Science -- Computer Science and Game Theory (cs.GT)
source: https://export.arxiv.org/rss/cs.GT
maintainer: @tmaehara.bsky.social
Natalie Parham @nat-parham.bsky.social phd student in cs theory, quantum computing at Columbia
natalieparham.com
Michael Kearns @mkearnsphilly.bsky.social CS prof at Penn, Amazon Scholar in AWS. Interested in ML theory and related topics, as well as photography and Gilbert and Sullivan. Website: www.cis.upenn.edu/~mkearns
Mehmet Mars Seven ♞ @mehmetmars7.bsky.social Lecturer @kcl-spe.bsky.social @kingscollegelondon.bsky.social
Game Theory, Econ & CS, Pol-Econ, Sport
Chess ♟️
Game Theory Corner at Norway Chess
Studied in Istanbul -> Paris -> Bielefeld -> Maastricht
Views are my own
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Conor Power @conorpower23.bsky.social Principal Applied Scientist in Microsoft CoreAI. Working on AI for coding. Co-organizer of SF Systems Meetup. CS PhD from Berkeley Sky Lab where I worked on https://hydro.run/ .
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Tim Roughgarden @timroughgarden.bsky.social Columbia CS professor. Head of Research at a16z crypto. Research on algorithms, game theory, mechanism design, blockchains/web3. Author of Algorithms Illuminated, Twenty Lectures on Algorithmic Game Theory, and Beyond the Worst-Case Analysis of Algorithms.
Sirisha Rambhatla @sirisha-r.bsky.social Assistant Professor, Director of Critical ML and Val O'Donovan Chair in Efficient, Safe and Adaptive AI @WaterlooENG | Representation Learning across modalities under distribution shifts and data scarcity |Views Personal |
https://sirisharambhatla.com/
Fred Sala @fredsala.bsky.social Wisconsin CS. Snorkel AI.
Working on machine learning & information theory.
https://pages.cs.wisc.edu/~fredsala/
Nick Spooner @nickspoon.bsky.social Assistant Professor at Cornell. CS theory, cryptography, quantum computing. he/him
FakeIacr @fakeiacr.bsky.social This is the official twitter account for the FakeIACR organization.
Nigel Smart @smartcryptology.bsky.social Cryptographer
IACR Crypto @iacrcrypto.bsky.social Official account for the IACR Crypto conference https://crypto.iacr.org
David Niehues @dniehues.bsky.social Interested in Cryptography
d_niehues@chaos.social in the Fediverse
d_niehues also that other site
Anna Lysyanskaya @annalysyanskaya.bsky.social www.cs.brown.edu/~anna
CS Prof @ Brown. Cryptography, especially privacy-preserving protocols, such as anonymous credentials. she/her
American, originally from Ukraine.
Julian Loss @julianloss.bsky.social I’m a cryptographer working on digital signatures, consensus algorithms, and more. Professor for Computer Science at Ruhr University Bochum.
Olivier @gloupin.bsky.social Professor (@Polytechnique)
Torturer of cryptographic primitives
Tech should help people, not the opposite
He/him/any
Deirdre Connolly¹ ² @durumcrustulum.com 🜗 🝒 🝲 crypto as in 'cryptography' 🝳 🝡 🜖
¹ isogenist, co-host SCWpod
² https://durumcrustulum.com, https://www.youtube.com/@durumcrustulum
Tancrède Lepoint @tancre.de Applied Scientist at AWS • Cryptographer • My opinions are my own • 🏳️🌈 (he/him)
Tibor Jager @tiborj.bsky.social Cryptography Researcher at Bergische University Wuppertal. Seeking wisdom, but hasn’t found it yet.
Matthew Green @matthewdgreen.bsky.social I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
Paul Rösler @roeslpa.bsky.social Assistant Prof. for Real-World Cryptography at FAU Erlangen-Nürnberg.
Worked at NYU, TU Darmstadt, and Ruhr Uni Bochum before.
https://roeslpa.de
Andrea Basso @andreavbasso.bsky.social Postdoc researcher on isogeny-based and post-quantum cryptography at IBM Research🇨🇭
Pascal Junod @cryptopathe.me applied cryptographer - certified nerd god - head of cryptography & research at duokey - founder modulo p - ex-Snap - co-founder ex-strong.codes - has-been professor - trail runner - aidjolat
Real World Crypto Symposium @rwc.iacr.org The official Real World Cryptography Bluesky feed. Follow us for news of upcoming events.
Damien Robert @damienrobert.bsky.social Researcher in algorithmic number theory, notably on abelian varieties and their moduli spaces, and their applications to elliptic and isogeny based cryptography
Christopher Patton @cjpatton.bsky.social cjpatton.net - opinions are my own
Alex Hoover @axhoover.com cryptographer at Stevens
axhoover.com
Kay @kaymckelly.bsky.social sassy, defiant, & extremely noncompliant
https://kaymckelly.com
Ben Rubinstein @bipr.bsky.social ML & Privacy Prof at the University of Melbourne, Australia. Deputy Dean Research. Prev Microsoft Research, Berkeley EECS PhD. @bipr on the X bird site. He/him.
Jonathan K. Kummerfeld @jkkummerfeld.bsky.social NLP faculty - University of Sydney
he/him
(this account is for professional topics only)
https://www.jkk.name
Eduardo Velloso @vellosoraptor.bsky.social Professor of Computer Science (Human-Computer Interaction) @ The University of Sydney.
Immersive systems, Human-AI interaction, HCI methodology
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Flora Salim @florasalim.bsky.social Professor, CSE, UNSW Sydney. #AI #ML #UbiComp #LLM #MFM #timeseries #ST #multimodal #sensors #continuallearning #trustworthyAI ❤️ #coffee
Why am I here? Scouting for a new platform to discover and learn new papers (let’s see if it’s the one)
Shaanan Cohney @shaananc.bsky.social Computer Security, Privacy, and Public Policy. Deputy Head of Computing and Information Systems, University of Melbourne. Former Fellow for Sen. Ron Wyden.
Likes teaching. Likes research. Likes Singing.
https://cohney.info
Dr Jake Renzella @drjake.bsky.social Senior Lecturer in the School of Computer Science and Engineering at the University of New South Wales
Jip J. Dekker @dekker.one OPTIMA Research Fellow working on Modelling Decision/Optimization problems, Programming Languages, and AI at Monash University, Melbourne, Australia.
MiniZinc developer, CP and SAT researcher.
I also talk about music, birds, cycling, and cricket.
Ben Swift @benswift.me Computer scientist/researcher/dev and creative technologist (livecoder). Academic, but looks longingly over the fence sometimes. Judge me by my GitHub profile, not my h-index :)
Senior Lecturer and Cybernetic Studio Lead at the ANU School of Cybernetics.
Steve Reeves @stevereeves.bsky.social Dead film star and Rocky Horror name-check, cyclist, cat lover, Prof, type-theorist, logician, functional programmer, Z logic developer, watercolourist, vegan, Coq/Rocq-er, Lean-er etc. :-)
Kirikiriroa/Hamilton, Aotearoa/New Zealand
Rahul Gopinath @rahul.gopinath.org Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing
https://rahul.gopinath.org
Marcel Keller @mkskeller.bsky.social Cryptographer who likes to implement multi-party computation and works for CSIRO's Data61. Views my own. 🏳️🌈🇨🇭🇦🇺 (he/him)
Itzik Ben Shabat @sitzikbs.bsky.social 🇮🇱 Researcher / Educator / Father / Podcaster. Creator of 3D computer vision algorithms. Follow the podcast feed at @talking-papers.bsky.social
🔗 itzikbs.com
Stephen Gould @sgould-au.bsky.social Computer scientist and engineer, part-time programmer, woodworker, and full-time father-of-three. Learning to wing foil.
Oliver Obst @oliverobst.bsky.social Assoc Prof. in Robotics at UNSW.
I am exploring physical and collective intelligence in robotics and real world systems — from smart materials, learning systems, to team behaviours.
Roland Goecke @rolaustral.bsky.social Professor of Affective Computing at UNSW Canberra, Human-Centred Technology Research, Interests in Affective Computing/AI/ML/HCI - I also like elephants, mammoths, etc. - Views are my own
Aravind (Sri AravindaKrishnan Thyagarajan) @aravind16coiner.bsky.social Lecturer @sydney.edu.au @sydneycompsci.bsky.social SyCrypt Group: https://sydney-cryptography-group.github.io
Previously PostDoc at NTT Research, CMU. PhD from FAU. Cryptography, Fairness, Blockchain, Cryptocurrency
https://sak-thyagarajan.github.io
Marcus Gallagher @marcusgal.bsky.social 
William Umboh @swumboh.bsky.social Lecturer in Computational Theory, School of Computing and Information Systems, University of Melbourne. Interests: Theoretical computer science and combinatorial optimisation, focussing on approximation and online algorithms. williamumboh.com
Jonte Hance @jonterhance.bsky.social Lecturer (Asst Prof) in Weird Quantum Stuff at Newcastle University (they/he) | queer, autistic academic | http://jontehance.com- T Professor Toby Walsh FAA FTSE @tobywalsh.bsky.social Reputably an "AI rock star". Though the only rock star'ish thing he's ever done is getting banned indefinitely from Russia.
Iris Meredith @iris-meredith.bsky.social Software engineer, trans advocate and general nuisance. Blogs at https://deadsimpletech.com/blog
Support my writing:
https://www.patreon.com/c/IrisMeredithandherblog
https://en.liberapay.com/iris_meredith/
Peter Vamplew @amp1874.bsky.social Professor in IT @ Federation Uni. Multi-objective reinforcement learning. Human-aligned AI. Best known for the f*cking mailing list paper. Jambo & Bengals fan. https://t.co/UNoOrbGApz
School of Computer Science, University of Sydney @sydneycompsci.bsky.social The official account of the School of Computer Science at the University of Sydney.
🔗 https://www.sydney.edu.au/engineering/schools/school-computer-science.html
Tim Miller @tmiller-uq.bsky.social Professor in Artificial Intelligence, The University of Queensland, Australia
Human-Centred AI, Decision support, Human-agent interaction, Explainable AI
https://uqtmiller.github.io
Vincent Gramoli @vincentgramoli.bsky.social Professor at the University of Sydney and Fonder of Redbelly Network. Interested in research on secure and distributed computing.
Bob Kummerfeld @bobkummerfeld.bsky.social Computer Science academic. Keen exerciser (gym, rowing).
Glioblastoma sufferer.
Qiang Tang @alkist.bsky.social Crypto & Crypto @U Sydney, https://alkistang.github.io/
Joseph Lizier @jlizier.bsky.social Assoc.Prof. in Complex Systems @sydneycompsci.bsky.social @sydney.edu.au. I use information theory to research information processing in complex systems in nature, complex networks, computational neuroscience, etc. Author of JIDT software. Views my own/RTs
Jiangshan Yu @jiangshanyu.github.io Associate Professor @ University of Sydney
Building resilient, trustworthy, and scalable systems via dependable computing, decentralised systems, and security protocols.
Research: Blockchain, Consensus, Security & Privacy
🌐 jiangshanyu.github.io
Andrew Cullen @adrcullen.bsky.social Secure, Ethical AI consultant & coach (www.EthiCan.com.au), board member of Music Technology Australia, CTO of MetaGen. Former Snr Research Fellow at University of Melbourne. Into bikes, weightlifting, and, weirdly, Iranian brickwork.
@jgudmundsson.bsky.social @jgudmundsson.bsky.social 
Wafa Johal @wafaj.bsky.social Associate Prof. @UniMelb | ARC #DECRA Fellow, I do #interactiveAI , #HumanAgentInteraction and #HumanRobotInteraction | 🇫🇷 🇦🇺
Joshua Grochow @joshuagrochow.bsky.social Research: TheoryCompSci, pure math, complex systems
Other: climate; covid; equity, inclusion, & accessibility
Assoc. Prof. @ CU Boulder Comp. Sci. & Math
Views my own
@joshuagrochow@mathstodon.xyz (& prev twitter)
https://home.cs.colorado.edu/~jgrochow
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Women In Logic @womeninlogic.bsky.social Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
CU Boulder CS Theory @bouldertheory.bsky.social Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-theory/
Graeme Smith @graemesmith.bsky.social Theorist in Waterloo. Quantum information, quantum computing, science, parenting. https://gsbsmith.ca
Johanna Franklin @johannamath.bsky.social Math prof at Hofstra. Logician, fan of the laws of probability & randomness, & mathematical crafter. All opinions my own. She/her/hers.
Erica Klarreich @ericaklarreich.bsky.social Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.
Hecate @ohmygoedel.bsky.social It has come to an end
The unknowing sun will rise again
Maybe all is gone, but She still lives on
✍️ Logics, Maths, and Theoretical CS
🐈⬛ Cats, Crows, and Ravens
⚛️ Progressive and Nontheist
🏳️🌈 Pro-LGBTQIA+, Anti-fascist, and Anti-racist
Neeldhara Misra @neeldhara.bsky.social → http://www.neeldhara.com
arxiv cs.CC @arxiv-cs-cc.bsky.social Computer Science -- Computational Complexity (cs.CC)
source: https://export.arxiv.org/rss/cs.CC
maintainer: @tmaehara.bsky.social
Bjørn Kjos-Hanssen @kjoshanssen.bsky.social Math professor 
arxiv cs.DS @arxiv-cs-ds.bsky.social Computer Science -- Data Structures and Algorithms (cs.DS)
source: https://export.arxiv.org/rss/cs.DS
maintainer: @tmaehara.bsky.social
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.
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Ben Brubaker @benbenbrubaker.bsky.social Computer science staff writer @quantamagazine.org, ex-physicist. More about me at benbrubaker.com. Banner art by Nico Roper — find more of their work at nicoroper.com. [Obligatory disclaimer about views being my own.]
MathSky MathSky @mathskymathsky.bsky.social At some point, maybe you'd follow this feed to be able to post to MathSky with an emoji.
Art from James O’Brien for Quanta Magazine https://www.quantamagazine.org/how-is-math-beautiful-20200616/
Prahladh Harsha @prahladh.bsky.social Computer Scientist, Mathematician, Dancer, Uncle
https://www.tcs.tifr.res.in/~prahladh/
Gary Munnelly @gary-munnelly.bsky.social Academic with the Adapt Centre in Trinity College Dublin. Currently applying what I know towards tackling disinformation and hate speech online. Also the guy behind Fourteen Screws.
🔗 linkedin.com/in/gary-munnelly-111bb919
🔗 fourteenscrews.com
Joe Reddington @joereddington.com he/him. Dad. Into: vegan food, collaborative writing, disability, memory palaces, and my code someday working. Runs a charity. Cyber security lecturer at Royal Holloway. Glass sibling.- H Aram Harrow @harrowing.bsky.social
@amitc1.bsky.social @amitc1.bsky.social 
Jeff Erickson @jefferickson.bsky.social Human, smartass, father and son of artists, computer science professor.
If you like baseball, you’re probably looking for @jeff-erickson.bsky.social, not me.
https://jeffe.cs.illinois.edu
Josh Alman @jalman.bsky.social Theoretical Computer Scientist at Columbia. joshalman.com
Anamay Tengse @anamay-tengse.bsky.social Interested in maths, music, poetry and cricket.
Very interested, and therefore working, in theoretical CS.
roseline j a @rxlnj.bsky.social theoretical cs kid
currently @ matscience, chennai
https://rxlnj.github.io/
vaguely reassuring state machines @happyautomata.com A bot by @katef.bsky.social
tijana minić @tijanaminic.bsky.social phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
Margaret Harris @drmlharris.bsky.social Award-winning science journalist at Physics World magazine @physicsworld.bsky.social. Also available as @DrMLHarris@mastodon.social. All views on science, politics, history, nonsense, etc. my own.
Jukka Suomela @jukkasuomela.fi Professor – Department of Computer Science, Aalto University – theory of distributed & parallel computing – https://jukkasuomela.fi
Evelyn Lamb @evelynjlamb.bsky.social Math and science writer. Complex analysis fangirl.
Helger Lipmaa @helger.bsky.social Cryptography professor at the University of Tartu, Estonia. Zero-Knowledge. SNARKs. 
Dave Bacon @dabacon.tachyon.institute Theoretical ski bum. Former pseudo professor. Quantum bridge builder. Will math for food.
mastodon: @dabacon@tachyon.channel
https://dabacon.org
Charlie Anne @charlieintheory.com She/Her | Theoretical Computer Scientist (PhD) | Professor | Alutiiq | Woman | Trans (🏳️⚧️)
Opinions are my own.
Hanlin Ren @h4n1in.bsky.social