Noah Stephens-Davidowitz @noahsd.bsky.social Nerd, computer scientist (http://noahsd.com), Cornell CS prof. I spend a lot of time thinking about lattices and sometimes other things.
Sรญlvia Casacuberta @sicapu.bsky.social Computer Science PhD student & Knight-Hennessy scholar at @stanford.edu.
Prev.: @ox.ac.uk with @rhodeshouse.ox.ac.uk, @harvard.edu '23, @maxplanck.de, @ethz.ch, IBM Research.
Theory CS for Trustworthy AI
https://silviacasacuberta.com
Alireza Fallah @afallah.bsky.social Assistant Professor @ Rice University,
Former Postdoc @ UC Berkeley EECS
๐PhD from MIT EECS
๐ afallah.com
Foundations of Responsible Computing @forcconf.bsky.social The Symposium on Foundations of Responsible Computing (FORC) is a forum for mathematical research in computation and society writ large.
https://responsiblecomputing.org/
Aviad Rubinstein @aviad-rubinstein.bsky.social Algorithms for Toddlers (https://youtu.be/nnLOi3ia210) | Algorithms for Teenagers (https://tinyurl.com/2cnp39cf) | Algorithms for Grown Ups (http://dblp.org/pid/11/10308)
Chris Peikert @chrispeikert.bsky.social Cryptographer (lattices/post-quantum), Burks Collegiate Professor at U-Michigan Computer Science and Engineering, Chief Scientific Officer at Algorand, PhD from MIT CSAIL. Previously faculty at Georgia Tech School of CS. Here I speak for myself.
Sebastian Angel @sga001.bsky.social CS Professor at Penn
Inbal Talgam-Cohen @inbaltalgam.bsky.social CS professor @ Tel Aviv Uni, visiting prof @ Technion. Interested in AGT, esp. algorithmic contract theory. Past: Stanford, Weizmann, Israel Supreme Court
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
Judy Hanwen Shen @heyyjudes.bsky.social CS PhD Student @ Stanford
Data, Diversity, and Downstream Impacts
https://heyyjudes.github.io
Becca Willett @beccawillett.bsky.social https://willett.psd.uchicago.edu/
Worah Family Professor, University of Chicago
National Institute for Theory and Mathematics in Biology (https://www.nitmb.org/)
Institute for AI in the Sky (SkAI, https://skai-institute.org/)
DJ ๐ณ @djain.bsky.social HCI Assistant Professor at UMich researching accessibility, audio AI, sound interaction, XR, and health. Director, Soundability Lab. Previously, Google, Apple, Microsoft, UW, and MIT Media Lab.
https://dhruv-jain.com
Anhong Guo @anhongguo.bsky.social Assistant prof at UMich.
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Roy Frostig @froystig.bsky.social research scientist at google deepmind.
co-author of JAX (https://github.com/jax-ml/jax).
https://cs.stanford.edu/~rfrostig
Jan-Willem van de Meent @jwvdm.bsky.social Associate Professor (UHD) at the University of Amsterdam. Probabilistic methods, deep learning, and their applications in science in engineering.
Mahdi Haghifam @mahdihaghifam.bsky.social Researcher in ML and Privacy.
PhD @UofT & @VectorInst. previously Research Intern @Google and @ServiceNowRSRCH
https://mhaghifam.github.io/mahdihaghifam/
Susan Athey @susanathey.bsky.social Economist
Stefano Tessaro @stefanotessaro.bsky.social Professor at the University of Washington, Paul G. Allen School of Computer Science & Engineering @uwcse.bsky.social
Working on cryptography, theoretical computer science, and computer security.
https://homes.cs.washington.edu/~tessaro/- T Thomas Dietterich @tdietterich.bsky.social Safe and robust AI/ML, computational sustainability. Former President AAAI and IMLS. Distinguished Professor Emeritus, Oregon State University. https://web.engr.oregonstate.edu/~tgd/
Ben Recht @beenwrekt.bsky.social Blog: https://argmin.substack.com/
Webpage: https://people.eecs.berkeley.edu/~brecht/
The Irrational Decision: How We Gave Computers the Power to Choose for Us. (Princeton) https://press.princeton.edu/books/hardcover/9780691272443/the-irrational-decision
Idan Attias @idanattias.bsky.social Postdoc researcher at IDEAL Institute in Chicago, hosted by UIC and TTIC.
My research interests are in machine learning theory, data-driven sequential decision-making, and theoretical computer science.
https://www.idanattias.com/
Jenn Wortman Vaughan @jennwv.bsky.social Sr. Principal Research Manager at Microsoft Research, NYC // Machine Learning, Responsible AI, Transparency, Intelligibility, Human-AI Interaction // WiML Co-founder // Former NeurIPS & current FAccT Program Co-chair // Brooklyn, NY // http://jennwv.com
@sushnt.bsky.social @sushnt.bsky.social 
Gergely Neu @neu-rips.bsky.social full-time ML theory nerd, part-time AI-non enthusiast
Zachary Lipton @zacharylipton.bsky.social Cofounder & CTO @ Abridge, Raj Reddy Associate Prof of ML @ CMU, occasional writer, relapsing ๐ท, creator of d2l.ai & approximatelycorrect.com
Maxim Raginsky @mraginsky.bsky.social web: http://maxim.ece.illinois.edu
substack: https://realizable.substack.com
Satyen Kale @satyenkale.bsky.social Following the herd to keep up with academic gossip.
Dylan Foster ๐ข @djfoster.bsky.social Incoming Assistant Professor in EECS and Statistics at UC Berkeley.
Principal Researcher @ Microsoft Research NE/NYC. Previously @ MIT, Cornell.
AI + RL Foundations. RL Theory Lecture Notes: https://arxiv.org/abs/2312.16730
http://dylanfoster.net
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.
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
@aloni-bologna.bsky.social @aloni-bologna.bsky.social 
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
Rasmus Pagh @rasmuspagh.net Professor of computer science at University of Copenhagen. Interested in random things & their application (especially to algorithms and privacy). rasmuspagh.net
WeRateDogs @weratedogs.com Your Only Source For Professional Dog Ratings
nonprofit: @15outof10.org โค๏ธโ๐ฉน
links.weratedogs.com
The Onion @theonion.com Americaโs Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newsletters/
@floriantramer.bsky.social @floriantramer.bsky.social Assistant professor of computer science at ETH Zรผrich. Interested in Security, Privacy and Machine Learning.
https://floriantramer.com
https://spylab.ai
Kunal Talwar @ktalwar.bsky.social Differential Privacy. Machine Learning. Apple.
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.
Alex Dimakis @alexdimakis.bsky.social UC Berkeley Professor working on AI. Co-Director: National AI Institute on the Foundations of Machine Learning (IFML). http://BespokeLabs.ai cofounder
Yves-Alexandre de Montjoye @yvesalexandre.bsky.social Professor of Applied Mathematics and CS at Imperial College London (๐ฌ๐ง). MIT PhD. I'm working on automated privacy attacks, LLM memorization, and AI Safety. Road cyclist ๐ด and former EU Special Adviser (๐ช๐บ).
Preetum Nakkiran @preetumnakkiran.bsky.social ML Research @ Apple.
Understanding deep learning (generalization, calibration, diffusion, etc).
preetum.nakkiran.org
Steven Wu @zstevenwu.bsky.social Computer science professor at Carnegie Mellon. Researcher in machine learning. Algorithmic foundations of responsible AI (e.g., privacy, uncertainty quantification), interactive learning (e.g., imitation/reinforcement learning).
https://zstevenwu.com/
Michal Feldman @michal-feldman.bsky.social Professor of Computer Science, @TelAvivUni | @ACM SIGECOM Chair | Research areas: Econ&CS, Algorithmic Game Theory, Market Design
Natalie Collina @ncollina.bsky.social CS PhD student at UPenn studying strategic human-AI interaction. Nataliecollina.com
Jessica Hullman @jessicahullman.bsky.social Ginni Rometty Prof @NorthwesternCS | Fellow @NU_IPR | AI, people, uncertainty, beliefs, decisions, metascience | Blog @statmodeling
Arvind Narayanan @randomwalker.bsky.social Princeton computer science prof. I write about the societal impact of AI, tech ethics, & social media platforms. https://www.cs.princeton.edu/~arvindn/
BOOK: AI Snake Oil. https://www.aisnakeoil.com/
Vasilis Gkatzelis @gkatzelis.bsky.social Associate professor of Computer Science at Drexel University. Interested in mechanism design, game theory, algorithms, fair division.
https://www.cs.drexel.edu/~gkatz/
Gavin Brown @gavin-brown.bsky.social Postdoc at UW CSE. Differential privacy, memorization in ML, and learning theory.
Byron Wallace @byron.bsky.social Assoc. Prof in CS @ Northeastern, NLP/ML & health & etc. He/him.
Ola Svensson @algosvensson.bsky.social Theoretical Computer Science @ EPFL
FOCS 2026 @focs2026.bsky.social Official account for the 2026 IEEE Symposium on Foundations of Computer Science (FOCS), to be held in New York, USA, Nov 8โ11, 2026.
๐ https://focs.computer.org/
Shengwu Li @shengwuli.bsky.social Econ prof at Harvard. (Mechanism design, market design, behavioral theory.) www.shengwu.li
Paul Goldberg @paulwgoldberg.bsky.social Professor of Computer Science, Oxford University. Research interest in Algorithmic Game Theory, also Computational Complexity.
Also interested in good urbanism & cartoons
https://www.cs.ox.ac.uk/people/paul.goldberg/index1.html
Vincent Conitzer @conitzer.bsky.social AI professor. Director, Foundations of Cooperative AI Lab at Carnegie Mellon. Head of Technical AI Engagement, Institute for Ethics in AI (Oxford). Author, "Moral AI - And How We Get There."
https://www.cs.cmu.edu/~conitzer/
Juba Ziani @jubaz.bsky.social Assistant professor at Georgia Tech in ISyE. I do mechanism design, differential privacy, fairness, and learning theory, mostly.
Postdoc @Penn; Ph.D. @Caltech; MSc @Columbia and @Supรฉlec.
He/him.
Greg Bodwin @gbodwin.bsky.social Associate professor at UMich. I do theoretical computer science and graph theory.
Ira Globus-Harris @iraglobusharris.bsky.social Assistant research prof at Cornell, interested in bridging responsible and robust algorithm design and practice.
I'm currently working with Nikhil Garg and danah boyd; my PhD in CS was advised by Aaron Roth and Michael Kearns.
Nando Fioretto @nandofioretto.bsky.social Assistant Professor of Computer Science at the University of Virginia. I work on Responsible AI (differential privacy & fairness) and machine learning for science and engineering (differentiable optimization) | http://nandofioretto.github.io
Jamie Morgenstern @jamiemmt.bsky.social CS professor at UW, research focus in theory of ML, fairness, and econCS
Andrea Montanari @andrea-montanari.bsky.social Professor, Stanford University, Statistics and Mathematics. Opinions are my own.
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
Sophie Huiberts @sophie.huiberts.me CNRS researcher in linear programming
๐ฌ๐บ๐๐ฝ๐ ๐ข๐๐พ๐๐บ๐๐๐ผ๐๐ @mahdi.ch Theoretical Computer Science professor @ U. of Michigan-Ann Arbor.
Opinions are mine and may evolve over time.
repost โ endorsement.
Policy: I don't interact with anonymous profiles.
Join AAUP.
he/him/his.
Jess Sorrell @optimistsinc.bsky.social Assistant prof at JHU CS. Interested in theory of ML, privacy, cryptography. All cat pictures my own and do not represent the cats of my employer
Anupam Gupta @anupamg.bsky.social Professor, Computer Science, New York University. Interested in Algorithms. 
Henry Yuen @henryyuen.bsky.social Complexity, in all its forms.
Associate Professor of Computer Science at Columbia University.
http://www.henryyuen.net
Jason Hartline @jasonhartline.bsky.social Professor at Northwestern CS. Economics, by courtesy. Study mechanism design, economics of algorithms, regulation of algorithms, AI and society. My opinions. virtualchair.net, socialcal.org, pubchat.org, https://sites.northwestern.edu/hartline/
Lance Fortnow @lance.fortnow.com Complexity Theorist
Ryan Williams @rrwilliams.bsky.social professor of EECS at MIT. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc.
i'll let you know when P != NP is proved (and when it's not)
Thatchaphol Saranurak @eigx.bsky.social Assistant Professor at the University of Michigan.
I design fast graph algorithms in dynamic/distributed/local settings.
https://sites.google.com/site/thsaranurak/
Federico Adolfi @fedeadolfi.bsky.social Computation & Complexity | AI Interpretability | Meta-theory | Computational Cognitive Science
Max Planck Institute ESI.
Dept. of Computer Science & Mathematics,
Goethe University Frankfurt.
https://fedeadolfi.github.io
On the job market!
Suresh Venkatasubramanian @geomblog.bsky.social Director, Center for Tech Responsibility@Brown. FAccT OG. AI Bill of Rights coauthor. Former tech advisor to President Biden @WHOSTP. He/him/his. Posts my own.
Lenore Blum @lenoreblum.bsky.social Mathematician and Theoretical Computer Scientist (#mathematics, #TCS) interested in #Consciousness and #NeuroAI (#Neuroscience, #AI). Distinguished Career Prof of CS at CMU, Emerita. President, Assoc for MathConscSci (AMCS) (https://amcs-community.org)- H Pooya @hatami.bsky.social
Nadya Voronova @voronovank.bsky.social PhD student at TCS BU.
Interested in sublinear algorithms and quantum.
On the job market!
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.
Kira Goldner @kiragoldner.bsky.social Assistant Professor at BU CDS
EconCS | Theory of CS | MD+AI+DS4SG | MD4SG co-founder
Previously Columbia, UW, Oberlin. Views are mine alone.
www.kiragoldner.com
Gautam Kamath @gautamkamath.com Assistant Prof of CS at NYU Courant. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning.
http://www.gautamkamath.com
Thomas Steinke @stein.ke Researcher in computer science, math, machine learning, (differential) privacy, AI, etc. at Anthropic.
Kiwi๐ณ๐ฟ in California๐บ๐ธ
http://stein.ke/
Sasho Nikolov @thesasho.bsky.social Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
Palak Jain @thepalakjain.bsky.social Privacy and Cryptography PhD student at Boston University. | they/them
website: thepalakjain.com
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
Bluesky @bsky.app official Bluesky account (check username๐)
Bugs, feature requests, feedback: support@bsky.app