Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Fellow @royalsociety.org.
Theoretical computer scientist. News junkie. Parent of teenagers.
Cambridge Computer Science @cst.cam.ac.uk Cambridge University Computer Science & Technology Department (aka the Computer Lab). We built the UK's 1st usable programmable computer, offered the UK's 1st Computer Science degree, created the 1st ever webcam - and continue to advance the field today.
Adithya Bhaskara @adithyacolorado.bsky.social Ph. D. Student @ MIT EECS
Interested in theoretical computer science, computational social choice theory, mathematical democracy, politics, and the intersection between theory and practice.
https://officialadithya.github.io
abhaskara@mit.edu
Pierre Alquier @pierrealquier.bsky.social Professor of Statistics @ ESSEC Business School, APAC campus Singapore 🇸🇬
https://pierrealquier.github.io/
Previously:
RIKEN AIP 🇯🇵
ENSAE Paris 🇫🇷 🇪🇺
UCD Dublin 🇮🇪 🇪🇺
Université Paris Cité 🇫🇷 🇪🇺
Random posts about stats/maths/ML/AI, poor jokes & birds photo 🌈
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
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
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
Sasho Nikolov @thesasho.bsky.social Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
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/
Jon Ullman @thejonullman.bsky.social Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.
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!
Andrea Montanari @andrea-montanari.bsky.social Professor, Stanford University, Statistics and Mathematics. Opinions are my own.
Divyarthi Mohan @divyarthi.bsky.social Postdoctoral Research Scientist @Columbia. Previously postdoc @BU_CDS @TelAvivUni and PhD @Princeton.
https://www.divyarthimohan.com
Sahil Singla @sahilsingla81.bsky.social Faculty at Georgia Tech.
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/
Jamie Morgenstern @jamiemmt.bsky.social CS professor at UW, research focus in theory of ML, fairness, and econCS
Greg Bodwin @gbodwin.bsky.social Associate professor at UMich. I do theoretical computer science and graph theory.
Ola Svensson @algosvensson.bsky.social Theoretical Computer Science @ EPFL
@pinkfloydie.bsky.social @pinkfloydie.bsky.social 
Huck Bennett @huckbennett.bsky.social Faculty at the University of Colorado. Interested in theoretical computer science, and especially lattices. Also: mountains, running, music.
https://home.cs.colorado.edu/~hbennett/
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/
Yannai A. Gonczarowski @yannaigonch.bsky.social Faculty @ Harvard Econ + Harvard Computer Science, past: MSR HebrewU, classical (opera) singer, father of two (+a pug) | tweets my own, repost≠endorse
https://yannai.gonch.name/
Ellen Vitercik @ellen-v.bsky.social MS&E + CS assistant professor at Stanford. I study reliable AI for algorithmic reasoning, optimization, and decision-making.
https://vitercik.github.io/
Gavin Brown @gavin-brown.bsky.social Postdoc at UW CSE. Differential privacy, memorization in ML, and learning theory.
Rachel Lawrence @rachel-law.bsky.social Organic machine turning tea into theorems ☕️
AI @ Microsoft Research ➡️ Goal: Teach models (and humans) to reason better
Let’s connect re: AI for social good, graphs & network dynamics, discrete math, logic 🧩, 🥾,🎨, protecting democracy🗽
www.rlaw.me
Michal Feldman @michal-feldman.bsky.social Professor of Computer Science, @TelAvivUni | @ACM SIGECOM Chair | Research areas: Econ&CS, Algorithmic Game Theory, Market Design
Taylor Smith @taylorjsmith.bsky.social 🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
Tom Gur @tomgur.bsky.social Professor of Computer Science at Cambridge.
Michael Dinitz @mdinitz.bsky.social Associate Professor, Department of Computer Science, Johns Hopkins University.
https://www.cs.jhu.edu/~mdinitz/
Shivam Nadimpalli @shivamnadimpalli.bsky.social CS Theory postdoc at MIT (https://math.mit.edu/~shivamn)
Moshe Babaioff @moshebab.bsky.social Assoc. Prof. of CS at the Hebrew University.
Algorithmic Game Theory.
Economics and Computation.
https://sites.google.com/view/babaioff/about-me
Ryan O'Donnell @booleananalysis.bsky.social 
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/
Florent Delgrange @florentdelgrange.bsky.social Reinforcement Learner
delgrange.me
gabe schoenbach @gabey.zip phd student @UChicagoCS. interested in cryptography, algorithms, combinatorics.
gabey.zip
Guillaume Dalle @gdalle.bsky.social Researcher in machine learning and optimization. Open source enthusiast. Parody songwriter (aka PianoHamster). OCD survivor.
Tomasz Steifer @steifer.pl mathematics, theoretical computer science, philosophy @ Universidad Católica de Chile & Polish Academy of Sciences | 'The evolution of sense is, in a sense, the evolution of nonsense.'
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
Thomas Loft @thomasloft.bsky.social Vært, Fodboldlisten og LIGA på P4
Thomas Steinke @stein.ke Researcher in computer science, math, machine learning, (differential) privacy, AI, etc. at Anthropic.
Kiwi🇳🇿 in California🇺🇸
http://stein.ke/
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
Danish Society for Marxist Studies @dkmarxsoc.bsky.social We are an independent academic society working to strengthen Danish research at the intersection between Marxism and other traditions of radical scholarship. For news about our annual conference → http://marxistiskestudier.com/
CITIUS MAG @citiusmag.com Making it easier (& way more fun) to be a track and field fan. Stories and commentary about your favorite sport. https://citiusmag.com/
Tue Sørensen @tuesoerensen.bsky.social Journalist, podcast-producent og vært | Aloud Media • Arbejde, Arsenal, EfB og lidt om livet, musik og samfund
Keith Dunn @keithdunn.social.running.cafe.ap.brid.gy An unofficial mirror of Keith Dunn's posts over on Bluesky which mention the Barkley Marathons #BM100 hashtag. The aim is to provide a way of following […]
🌉 bridged from https://social.running.cafe/@KeithDunn on the fediverse by https://fed.brid.gy/
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
Tore Keller @torekeller.bsky.social European Correspondent for the Danish newspaper @information.dk. Based in Paris, with 👀 on Brussels. 🗣️🇩🇰🇬🇧🇫🇷 tke@information.dk
Differential Privacy Papers @dppapers.bsky.social 🤖
new arXiv preprints mentioning "differential privacy" or "differentially private" in the title/abstract
- unrelated quantum/FL papers
+ updates from https://differentialprivacy.org
[Under construction.]
Alex Predhome @predamame.bsky.social Tech worker 🖥️. Hobby Jogger (2:27 marathon/68:20 half). Community Builder 🎽. Propagandist for the sport of track and field. Pessimist by Intellect, Optimist by Will. 🏳️🌈. he/him. Somerville, MA 📍
Magnus Heunicke @heunicke.bsky.social Miljøminister og minister for ligestilling
Kyle Merber @kylemerber.bsky.social I’m just here to talk about track
Pelle Dragsted @pelledragsted.bsky.social Proud Democratic Socialist. Member of the Danish parliamant and political leader of Enhedslisten - the Red-Green Alliance. Author of “Nordisk Socialisme”
Dagbladet Information @information.dk Modstand siden 1943.
Jakob Engel-Schmidt @engelschmidt.bsky.social Danmarks Kulturminister (Danish Minister for Culture, Media and Sports) og MF (M). Profilen føres privat. Officielle henvendelser til min@kum.dk
Søren Mau @sorenmau.bsky.social 
Andreas Hjørnholm @ahjornholm.bsky.social Politik i Dyrenes Beskyttelse 🐷🌱
Er her mest for naturen og landbruget og dyrene og den slags.
Nicolaj Lindeborgh @nicolajl.bsky.social Hvordan behandler vi havet? - de fisk der fanges? og de dyr der opdrættes i akvakultur? Det skriver jeg om. Arbejder for Dyrenes Beskyttelse som havbiolog. 
Mathieu Alain @miniapeur.bsky.social Gradient surfer at UCL. FR, EN, also trying ES. 🇹🇼🇨🇦🇬🇳🇺🇸🇩🇴🇫🇷🇪🇸🇬🇧🇿🇦. Also on Twitter.
Chris Chavez @chrischavez.bsky.social @CitiusMag.com Founder. Writing and podcasting about track and field, marathons + all things running. Sports Illustrated alum. Email: chris@citiusmag.com | Visit CITIUSMAG.com
Everest Today @everesttoday.bsky.social Discover the peak of inspiration.
Magnus Barsøe 🇺🇦🇪🇺🇩🇰 @magnusbarsoe.bsky.social Vært på podcasten Børsen Brænder, førstesuppleant til EU-parlamentet (🌹), forfatter til 'Det grønne pengetræ' og ‘Gud bevare afdragsfriheden’ og talsmand for Frihed for Ukraine. Far til Buster og Calle. Gift med Nola. Bor på Amager. 20194446
Ole Ryborg @oleryborg.bsky.social EU & NATO correspondent for Danish National Radio & Television (Danmarks Radio)
Based in Brussels for more than 30 years.
Rasmus Elling @rasmuselling.bsky.social Associate Prof, Head of Middle East Studies, Uni of Copenhagen // Iran, History, Sociology // Views my own // English, Danish, Persian 
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
Marcello @jyskbeefcake.bsky.social Retoriker og 9 år gammel pige fra Esbjerg. Forfatter til En køn jul, som du måske har brudt dit kønnede lille hoved med.
Matthias @nairoingreen.bsky.social Make an impact | #SiempreGino | 161 | "renowned cycling follower" | Podcast: linktr.ee/nairoingreen | 🇵🇸🇨🇩🇸🇩
Kenneth @edbkenneth.bsky.social Hele danmarks humørprofil. Samarbejde skal ske via min manager @jenshaag.bsky.social
Jakob 5, 1-6 ♥️
Birthe Larsen @birthelarsen.bsky.social Associate professor @ Copenhagen Business School, economist (unemployment, search, inequality, monopsony, health, macroeconomics), author, Msc econ London School of Economics, Phd University of Copenhagen.
https://sites.google.com/view/birthelarsen/start
Sandie Westh @sandiewesth.bsky.social Journalist. Forfatter til Når mørket ruller ind. Foredragsholder. Modtager af Mathildeprisen 2024. Ser høj ud, når jeg ligger ned.
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)
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
Magnus Kraft @magnuskraft.bsky.social Journalist på Berlingske. Historier: 23986098 og makr@berlingske.dk