×
You are not logged in
Bluesky Follows
le-o7.bsky.social
Follows by @le-o7.bsky.social
Joshua Grochow
Registered:24 Jul 2023 16:59
Follow date:20 Oct 2025 04:29
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/~...
Ryan Williams
Registered:4 Mar 2024 03:44
Follow date:20 Oct 2025 04:29
professor of EECS at MIT, currently visiting IAS. 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)
Lance Fortnow
Registered:31 Aug 2023 13:18
Follow date:20 Oct 2025 04:29
Complexity Theorist
Jason Hartline
Registered:19 Nov 2023 00:08
Follow date:20 Oct 2025 04:29
Professor at Northwestern CS. Economics, by courtesy. Study mechanism design, economics of algorithms, regulation of algorithms, AI and society. https://sites.northwestern.edu...
Sophie Huiberts
Registered:16 Aug 2023 11:44
Follow date:20 Oct 2025 04:29
CNRS researcher in linear programming
Kira Goldner
Registered:9 Oct 2023 17:35
Follow date:20 Oct 2025 04:29
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
π¬πΊππ½π π’ππΎππΊπππΌππ
Registered:12 Oct 2023 18:52
Follow date:20 Oct 2025 04:29
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
Registered:12 Oct 2023 12:39
Follow date:20 Oct 2025 04:29
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
Lenore Blum
Registered:24 Sep 2023 02:04
Follow date:20 Oct 2025 04:29
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)
Henry Yuen
Registered:9 Oct 2023 00:51
Follow date:20 Oct 2025 04:29
Complexity, in all its forms.
Associate Professor of Computer Science at Columbia University.
http://www.henryyuen.net
Pooya
Registered:24 Oct 2023 23:54
Follow date:20 Oct 2025 04:29
Gautam Kamath
Registered:23 Oct 2023 03:01
Follow date:20 Oct 2025 04:29
Assistant Prof of CS at the University of Waterloo, Faculty and Canada CIFAR AI Chair at the Vector Institute. Joining NYU Courant in September 2026. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning.
http://www.gautamkamath.com
Suresh Venkatasubramanian
Registered:3 Jul 2023 12:13
Follow date:20 Oct 2025 04:29
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.
ClΓ©ment Canonne
Registered:4 Jul 2023 06:25
Follow date:20 Oct 2025 04:29
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts β into puns: sometimes theorems. He/him.
Sasho Nikolov
Registered:20 Sep 2023 02:53
Follow date:20 Oct 2025 04:29
Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
Thomas Steinke
Registered:22 Oct 2023 23:53
Follow date:20 Oct 2025 04:29
Computer science, math, machine learning, (differential) privacy
Researcher at Google DeepMind
Kiwiπ³πΏ in CaliforniaπΊπΈ
http://stein.ke/
Aaron Roth
Registered:20 Oct 2023 23:09
Follow date:20 Oct 2025 04:29
Professor at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein
Jon Ullman
Registered:14 Dec 2023 14:02
Follow date:20 Oct 2025 04:29
Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.
Huck Bennett
Registered:13 Nov 2024 04:40
Follow date:20 Oct 2025 04:29
Faculty at the University of Colorado. Interested in theoretical computer science, and especially lattices. Also: mountains, running, music.
https://home.cs.colorado.edu/~...
Valeria de Paiva
Registered:9 Feb 2024 16:22
Follow date:20 Oct 2025 04:29
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Women In Logic
Registered:2 Apr 2024 15:37
Follow date:20 Oct 2025 04:29
Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
CU Boulder CS Theory
Registered:30 Sep 2024 17:40
Follow date:20 Oct 2025 04:29
Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-th...
Graeme Smith
Registered:11 Jun 2023 22:24
Follow date:20 Oct 2025 04:29
Theorist in Waterloo. Quantum information, quantum computing, science, parenting. https://gsbsmith.ca
Johanna Franklin
Registered:31 Jul 2023 00:35
Follow date:20 Oct 2025 04:29
Math prof at Hofstra. Logician, fan of the laws of probability & randomness, & mathematical crafter. All opinions my own. She/her/hers.
Erica Klarreich
Registered:9 Sep 2023 18:58
Follow date:20 Oct 2025 04:29
Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.
Hecate
Registered:14 Jun 2023 03:52
Follow date:20 Oct 2025 04:29
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
Registered:21 Aug 2023 18:42
Follow date:20 Oct 2025 04:29
arxiv cs.CC
Registered:14 Aug 2023 05:29
Follow date:20 Oct 2025 04:29
Computer Science -- Computational Complexity (cs.CC)
source: https://export.arxiv.org/rss/c...
maintainer: @tmaehara.bsky.social
BjΓΈrn Kjos-Hanssen
Registered:12 Aug 2023 02:15
Follow date:20 Oct 2025 04:29
Math professor
arxiv cs.DS
Registered:14 Aug 2023 05:27
Follow date:20 Oct 2025 04:29
Computer Science -- Data Structures and Algorithms (cs.DS)
source: https://export.arxiv.org/rss/c...
maintainer: @tmaehara.bsky.social
ePrint Updates
Registered:1 May 2023 16:18
Follow date:20 Oct 2025 04:29
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
Registered:3 Aug 2023 14:28
Follow date:20 Oct 2025 04:29
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Ben Brubaker
Registered:5 Oct 2023 12:15
Follow date:20 Oct 2025 04:29
Computer science staff writer @quantamagazine.bsky.social, 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
Registered:13 Oct 2023 13:22
Follow date:20 Oct 2025 04:29
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...
Federico Adolfi
Registered:2 Aug 2023 08:05
Follow date:20 Oct 2025 04:29
Computation & Complexity | AI Interpretability | Meta-theory | Computational Cognitive Science
https://fedeadolfi.github.io
On the job market!
Prahladh Harsha
Registered:14 Nov 2024 10:53
Follow date:20 Oct 2025 04:29
Computer Scientist, Mathematician, Dancer, Uncle
https://www.tcs.tifr.res.in/~p...
Gary Munnelly
Registered:16 Nov 2024 15:00
Follow date:20 Oct 2025 04:29
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
Registered:5 Jul 2023 16:23
Follow date:20 Oct 2025 04:29
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.
Rachel Lawrence
Registered:13 Nov 2024 19:24
Follow date:20 Oct 2025 04:29
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 π§©, π₯Ύ,π¨
Organizing for democracy.π½
www.rlaw.me
Tom Gur
Registered:13 Nov 2024 19:14
Follow date:20 Oct 2025 04:29
Professor of Computer Science at Cambridge.
Aram Harrow
Registered:12 Oct 2023 15:50
Follow date:20 Oct 2025 04:29
amitc1.bsky.social
Registered:15 Nov 2024 03:28
Follow date:20 Oct 2025 04:29
Ola Svensson
Registered:13 Nov 2024 23:29
Follow date:20 Oct 2025 04:29
Theoretical Computer Science @ EPFL
Kasper Green Larsen
Registered:18 Nov 2024 08:02
Follow date:20 Oct 2025 04:29
Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
pinkfloydie.bsky.social
Registered:12 Nov 2024 02:25
Follow date:20 Oct 2025 04:29
Nadya Voronova
Registered:9 Nov 2023 00:50
Follow date:20 Oct 2025 04:29
PhD student at TCS BU.
Interested in sublinear algorithms and quantum.
On the job market!
Michael Dinitz
Registered:11 Nov 2023 14:16
Follow date:20 Oct 2025 04:29
Associate Professor, Department of Computer Science, Johns Hopkins University.
https://www.cs.jhu.edu/~mdinit...
FOCS 2026
Registered:16 Nov 2024 22:53
Follow date:20 Oct 2025 04:29
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/
Michal Feldman
Registered:18 Nov 2024 21:15
Follow date:20 Oct 2025 04:29
Professor of Computer Science, @TelAvivUni | @ACM SIGECOM Chair | Research areas: Econ&CS, Algorithmic Game Theory, Market Design