ACM Education and Learning Center @acmeducation.bsky.social ACM Education and Professional Development initiatives.
https://learning.acm.org/
Ash @ashwxn.bsky.social PhD @tuwien.at | Fair ML x Theoretical CS | Core Organizer @queerinai.com
rashomonset.github.io
Frédéric Magniez @fmagniez.bsky.social CNRS researcher at IRIF, Université Paris Cité. Computer scientist working on sublinear, approximation and quantum algorithms. Head of QuanTech@Paris, Université Paris Cité Quantum Initiative.
@cnrs.fr @upcite.bsky.social @irif.bsky.social
William Umboh @swumboh.bsky.social Senior 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
Harish Chandramouleeswaran @harish1108.bsky.social Ph. D. student in computer science at the Chennai Mathematical Institute.
Academic webpage: https://sites.google.com/view/harish-chandramouleeswaran
Pedro M. M. de Castro @tashimir.bsky.social Associate Professor at CIn/UFPE. Computational & Discrete Geometry · Theoretical CS · Algorithms · Operations Research · C++/CGAL · Mathematics Education. ORCID: 0000-0002-9470-7458 · X: @PedroMMdeCastro · GitHub: @tashimir · cin.ufpe.br/~pmmc
UCSB Computer Science Department @ucsb-cs.bsky.social 
Ex Uno Omnia @foksus.bsky.social Observer. I look at the ground and find mathematics. From the quantum vacuum to the genetic code — as someone who pays attention. No promises, just questions.
https://orcid.org/0009-0004-8792-9396
Anagha @anaghadoesmath.bsky.social I work broadly in theoretical computer science.
Harmony Turbines @harmonyturbines.bsky.social Empowering everyday homeowners with clean, renewable wind energy through innovative wind turbines. 🌬️🌱🏡
www.wefunder.com/HarmonyTurbines
https://HarmonyTurbines.com
#WindPower #CleanEnergy #GreenLiving
Ankita Kumari @anku-k25.bsky.social Independent Researcher in Algorithmic Graph Theory | Alum IISER TVM | Parameterized Complexity & Logic| 🎓 Actively seeking PhD opportunities in Europe | Upcoming: Presenting at Women in Logic 2026 | https://github.com/anku-K25
Xinyu Hu @xinyu-hu.bsky.social PhD Candidate in EconCS
Sofiane Tanji @sofianetanji.com I study Mathematical Optimization @UCLouvain
Paul Cox @pauldcox.com Finally stopped being lazy and moving over here from that other place. Help yourself to the snozberries.
ＳＴ０１０－１４ @st01014.bsky.social Code synthesizing Carbon-Silicon based lifeform 🖥️🧬
#Coding #Math #Physics
#HPC & #AI
#RetroTech
#Aerospace
#ＡＥＳＴＨＥＴＩＣＳ
Random #Nerdiness & #Shitposting
Arindam Khan @arindamkhan.bsky.social Algorithmist | CS Prof. @ IISc Bangalore | Past: Georgia Tech, IIT Kharagpur
Algo-rindam Youtube: https://www.youtube.com/@ArindamKhan
LinkedIn: https://www.linkedin.com/in/arindam-khan-445ab615/
@skerman.bsky.social @skerman.bsky.social 
Renaud Gaucher @renaudgaucher.bsky.social PhD student at École polytechnique. Optimization, machine learning, robustness
renaudgaucher.github.io
@yhdong.bsky.social @yhdong.bsky.social 
Argyris Mouzakis @argymouz.bsky.social IFML Postdoc @ UT-Austin, Interested in Machine Learning, Statistics, and Differential Privacy
https://argymouz.github.io/
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
Hongao Wang @phijack618.bsky.social PhD student @ Purdue CS | alumnus of SJTU | former Research assistant @ NTU, SG | learning theory, TCS.
Abhishek @abhishek47.bsky.social Has eclectic tastes, mostly a lurker on here
@davidppp.bsky.social @davidppp.bsky.social 
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
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
Onno Eberhard @onnoeberhard.com PhD Student in Tübingen (MPI-IS & Uni Tü), interested in reinforcement learning. Wir müssen wissen. Wir werden wissen. https://onnoeberhard.com/
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.
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Teresa Macchia @terema1.bsky.social Digital Transformation | Design Thinking | Participatory Design | Human Computer Interaction | Resiliance and Sustainability
barrel @barrel2.bsky.social 
Kutand Alkım Bayer @kutandalkim.bsky.social IZTECH-Chemistry, I like to be Polymath(learning different subjects), Polygot(interested in the learning different languages) comments and opinions are my own RT≠ is not endorsement (he/him)
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/
Helger Lipmaa @helger.bsky.social Cryptography professor at the University of Tartu, Estonia. Zero-Knowledge. SNARKs. 
Mano Prakash Parthasarathi @manoprakash6.bsky.social Ph.D. (CS) Student @ North Carolina State University working on String Algorithms and Graph Algorithms.
@dirkvanderhoeven.bsky.social @dirkvanderhoeven.bsky.social 
Tim van Erven @timvanerven.nl Associate professor in machine learning at the University of Amsterdam. Topics: (online) learning theory and the mathematics of explainable AI.
www.timvanerven.nl
Theory of Interpretable AI seminar: https://tverven.github.io/tiai-seminar
Sankhya @tcsguy.bsky.social 
@mykhas.bsky.social @mykhas.bsky.social 
@smgapers.bsky.social @smgapers.bsky.social kwantum klusser
Florian Chen @florianchen.bsky.social 
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.
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/
Andreas Longva @andlon.bsky.social Previously: Researcher and PhD candidate @ RWTH Aachen University, now probably disabled by Long COVID.
Physics simulation, mathematics, software and science
andreaslongva.com
Nutan Limaye @nutanlimaye.bsky.social 
Anupam Gupta @anupamg.bsky.social Professor, Computer Science, New York University. Interested in Algorithms. 
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.
Holger Dell @holgerdell.com Associate Professor at IT University of Copenhagen | Theoretical Computer Science
@aris-gionis.bsky.social @aris-gionis.bsky.social 
@thucydides454.bsky.social @thucydides454.bsky.social 
Paúl R. I. @p-risco-i.bsky.social 
Eleonora Vercesi @eleonoravercesi.bsky.social (she/her)👩🏻💻 PostDoc @ USI - IDSIA (USI - SUPSI)
My interests include environment, rights, science, and (NP) hard problems
https://eleonoravercesi.github.io
Ilie Sarpe @silie.bsky.social Postdoctoral researcher at KTH | got my PhD at Unipd | Interested in algorithms with graphs and probability 🎲
iliesarpe.github.io
Andreas Grivas @andreasgrv.bsky.social Postdoc in ML/NLP at the University of Edinburgh.
Interested in Bottlenecks in Neural Networks; Unargmaxable Outputs.
https://grv.unargmaxable.ai/
Prateek P. Kulkarni @prateekkulkarni.bsky.social Predoc @ CSA, IISc. Research in theoretical cs & quantum computing. For more, please visit: https://prateekpkulkarni.github.io
nestor guillen @birdsnfrogs.bsky.social Math as well as more worldly affairs.
Se habla español.
https://birdsnfrogs.github.io/
@lbartels7.bsky.social @lbartels7.bsky.social 
Jay Alt @jalt.bsky.social 
Tuukka Korhonen @laakeri.bsky.social Theoretical computer science postdoc at the University of Copenhagen. https://tuukkakorhonen.com/
Luca 🤓 @lucadistefano.eu Postdoc at TU Wien Informatics • Opinions my own • Standing in the wind
Divyarthi Mohan @divyarthi.bsky.social Postdoctoral Research Scientist @Columbia. Previously postdoc @BU_CDS @TelAvivUni and PhD @Princeton.
https://www.divyarthimohan.com
Jim @vmec.bsky.social 
Rolf van der Hulst @rolfvanderhulst.bsky.social MIP software developer at MOSEK
Completed PhD at University of Twente
@janvadehe.bsky.social @janvadehe.bsky.social Mathematician based at LSE. Interested in all things combinatorics (and coffee).
Fabio Mogavero, Ph.D. 🌍🇪🇺🇮🇹 @fabiomog.bsky.social A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Università degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783
Matthias Köppe @mkoeppe.bsky.social Professor, UC Davis #Mathematics. He/him. #DavisCA.
Made #SageMath pip-installable @passagemath.org.
https://github.com/mkoeppe #Python #OpenSource
#cutgeneratingfunctionology #optimization #orms
I block accounts to increase reading focus.
Stefan Schmid @schmiste-ch.bsky.social Professor of Computer Science @TUBerlin
PI @Weizenbaum Institute Berlin
Prev.: @csunivie @CompSciAAU @T_Labs @LaasCNRS @TU_Muenchen @CERN @ETH
Web: https://schmiste.github.io/
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
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.
Jukka Suomela @jukkasuomela.fi Professor – Department of Computer Science, Aalto University – theory of distributed & parallel computing – https://jukkasuomela.fi
@lepermanganate.bsky.social @lepermanganate.bsky.social 
João Ribeiro @jmlribeiro.bsky.social Asst Prof, IT and IST, University of Lisbon. Likes coding theory, cryptography, and (pseudo)randomness.
Prev: faculty @ NOVA FCT, postdoc @ CMU, PhD @ Imperial
https://sites.google.com/site/joaorib94/
Ragnar {Groot Koerkamp} @curiouscoding.nl Postdoc on high troughput bioinformatics @ KIT Karlsruhe;
IMO, ICPC, Xoogler, Rust, road-cycling, hiking, wild camping, photography
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!
Antonio E. Porreca 🐳 @aeporreca.org Maître de conférences (lecturer) at https://univ-amu.fr & researcher at https://lis-lab.fr 🐗🇫🇷 • Natural computing, discrete dynamical systems & complexity • Down with generative AI • I like (human) languages • COVID-conscious 😷 • aeporreca.org
Sophie Huiberts @sophie.huiberts.me CNRS researcher in linear programming
Stefan Neumann @neumannstefan.com Assistant professor @ TU Wien, associate faculty @ Complexity Science Hub.
Previously: KTH, Brown, Uni Wien.
I study algorithms for data science and social-network analysis. Connecting theory 🤝 practice.
More info: https://neumannstefan.com.