Sasho Nikolov @thesasho.bsky.social Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
@myvardi.bsky.social @myvardi.bsky.social
Tien Chih @tienchihmath.bsky.social Assistant Professor of Mathematics at
Oxford College of Emory University. Father & Husband. Wannabe Cook. I like to teach/do/spread math as I can. https://linopt.tienchih.org/ (He/His)
@karthikcs.bsky.social @karthikcs.bsky.social - 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/
In Otter News @in-otter-news.bsky.social The life and times of Steve the otter...
European Association for Theoretical Computer Science @eatcs.bsky.social The aim of the EATCS is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science. #CSTheory
Digitaalinen itsenäisyys @digitaalinenitsenaisyys.fi 🇫🇮 Aika on nyt
Liity mukaan rakentamaan Suomea, joka päättää itse omista tiedoistaan.
Allekirjoita kansalaisaloite 👉 #DigitaalinenItsenäisyys
https://digitaalinenitsenaisyys.fi/
https://www.kansalaisaloite.fi/fi/aloite/16691
Nicole Wein @nicolewein.bsky.social Assistant professor at University of Michigan. Theoretical computer science.
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/
European Research Council (ERC) @erc.europa.eu European Research Council, set up by the EU, funds top researchers of any nationality, helping them pursue great ideas at the frontiers of knowledge. #HorizonEU
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.
@sorrachai.bsky.social @sorrachai.bsky.social
Ben Golub @bengolub.bsky.social economics and computer science professor at Northwestern
bengolub.net
social and economic networks
originally from Ukraine
Helger Lipmaa @helger.bsky.social Cryptography professor at the University of Tartu, Estonia. Zero-Knowledge. SNARKs.
Gary Hoppenworth @garytho.bsky.social I am a research assistant professor (postdoc) at TTIC.
garytho.github.io
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)
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
Danupon @nanongkai.bsky.social
Jonathan Conroy @jonathan-conroy.bsky.social PhD student at Dartmouth, interested in graph algorithms and computational geometry.
(he/him)
@gil-kalai.bsky.social @gil-kalai.bsky.social
Matthias Christandl @christandl.bsky.social Quantum Computing & Quantum Information @ University of Copenhagen
Thomas Steinke @stein.ke Researcher in computer science, math, machine learning, (differential) privacy, AI, etc. at Anthropic.
Kiwi🇳🇿 in California🇺🇸
http://stein.ke/
Gary Marcus @garymarcus.bsky.social AI and cognitive science, Founder and CEO (Geometric Intelligence, acquired by Uber). 8 books including Guitar Zero, Rebooting AI and Taming Silicon Valley.
Newsletter (100k subscribers): garymarcus.substack.com
Sitra @sitra.fi Tulevaisuustalo Sitra auttaa Suomea uudistumaan. Sitra is a Future Fund that helps Finland to reform.
Simons Institute for the Theory of Computing @simonsinstitute.bsky.social The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
Senator Bernie Sanders @sanders.senate.gov Sen. Sanders of Vermont, Ranking Member of the U.S. Senate Committee on Health, Education, Labor & Pensions, is the longest-serving independent in congressional history.
Quantum Bullshit Detector @bullshitquantum.bsky.social Quantum Bullshit Detector.
Tag for a reading.
Graeme Smith @graemesmith.bsky.social Theorist in Waterloo. Quantum information, quantum computing, science, parenting. https://gsbsmith.ca
Dulwich Quantum Computing @dulwichquantum.bsky.social Parody quantum computing startup from South London
https://dulwichquantum.github.io/
Sariel Har-Peled @sarielhp.bsky.social A geometer in the corn fields.
https://sarielhp.org
HS Muutokset @hsmuutokset.bsky.social Helsingin Sanomien verkko-otsikoiden muutokset. Ei sidoksissa Sanoma Oyj:hin. @duukkis.bsky.social teki mut. Koodi: https://github.com/duukkis/hs_muutokset
Uusi Juttu @uusijuttu.fi Uusi Juttu on oleelliseen keskittyvä media, joka syntyy yhdessä jäsenten kanssa. Poimimme puolestasi olennaisen informaatiotulvasta: emme vain kerro, mitä on tapahtunut, vaan myös sen miksi. Liity jäseneksi uusijuttu.fi!
algorithms.fi @algorithms.fi HALT · Helsinki Algorithms & Theory · https://algorithms.fi
Neil deGrasse Tyson @neildegrassetyson.com Astrophysicist
David Bessis @davidbessis.bsky.social Rogue mathematician
https://davidbessis.substack.com/
@roberto-bayardo.bsky.social @roberto-bayardo.bsky.social
Sophie Huiberts @sophie.huiberts.me CNRS researcher in linear programming
Bjarki Ágúst Guðmundsson @suprdewd.bsky.social Senior Software Engineer at Google working on secure-by-design web development
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
Mark Cuban @mcuban.bsky.social Entrepreneur
Costplusdrugs.com
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
Jarno N. Alanko @jnalanko.bsky.social Postdoc in computer science and bioinformatics from Finland. Website: https://jnalanko.net. Various writings in English and Finnish: https://blog.jnalanko.net. Also on Mastodon: https://genomic.social/@jnalanko
Computer Science @csaalto.bsky.social Department of Computer Science in Aalto University, Finland.
Meet our people & read more about our work at cs.aalto.fi.
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.
Hannu Toivonen @hannu-toivonen.bsky.social Professor of Computer Science, AI researcher, U. Helsinki
Tietojenkäsittelytieteen professori, tekoälytutkija, HY
http://www.cs.helsinki.fi/hannu.toivonen/
Author of Mitä tekoäly on? / Was ist künstliche Intelligenz? / 100 frågor om AI
Juha Harviainen @juhahar.bsky.social HIIT Postdoctoral Fellow at University of Helsinki / parameterized algorithms, bioinformatics, counting problems, probabilistic graphical models / https://juhaharviainen.com/
Austin Buchanan @austinlbuchanan.bsky.social Associate Professor of Industrial Engineering & Management. Interests in #orms #networks #districting. Senior Member of INFORMS. Blogs at https://farkasdilemma.wordpress.com/ Website: https://austinlbuchanan.github.io/
Zihan Tan @zihantan09.bsky.social Assistant Professor at UMN CS, interested in theoretical computer science.
karpathy @karpathy.bsky.social AI @ OpenAI, Tesla, Stanford
Yann LeCun @yann-lecun.bsky.social Professor a NYU; Executive Chairman at AMI Labs..
Researcher in AI, Machine Learning, Robotics, etc.
ACM Turing Award Laureate.
http://yann.lecun.com
Rares Buhai @raresbuhai.bsky.social postdoc at EPFL. raresbuhai.com.
Michael Dinitz @mdinitz.bsky.social Associate Professor, Department of Computer Science, Johns Hopkins University.
https://www.cs.jhu.edu/~mdinitz/
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.
Holger Dell @holgerdell.com Associate Professor at IT University of Copenhagen | Theoretical Computer Science- P @peter-shor.bsky.social @peter-shor.bsky.social
Randall Munroe @xkcd.com
Grant Sanderson @3blue1brown.com Math videos
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy rimcræftiga |
bespoke constructions in categorified geometry since 2010 |
dude
[bridged from https://mathstodon.xyz/@highergeometer on the fediverse by https://fed.brid.gy/ ]
Subbarao Kambhampati (కంభంపాటి సుబ్బారావు) @rao2z.bsky.social AI researcher & teacher at SCAI, ASU. Former President of AAAI & Chair of AAAS Sec T. Here to tweach #AI. YouTube Ch: http://bit.ly/38twrAV Twitter: rao2z
상일 @sioum.bsky.social 수학자 그래프이론 전공 기초과학연구원 이산수학그룹
Liisa Ovaska @liisaovaska.bsky.social Doing phd in journalism studies at Tampere University, research visitor at University of Roskilde 11/24-5/25. Interested in audiences and datafication. Eager knitter.
Nutan Limaye @nutanlimaye.bsky.social
Stefan Szeider @szeider.bsky.social Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)
Daniel Lemire @lemire.bsky.social Daniel Lemire is a Computer Science Professor at the University of Quebec (TELUQ). Daniel Lemire ranks in the top 2% of scientists worldwide according to Stanford University/Elsevier's 2024 ranking.
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
Jelani Nelson @jelaninelson.bsky.social Professor and Department Chair of Electrical Engineering and Computer Sciences, UC Berkeley. Research Scientist (part-time) at Google. Founder, AddisCoder. 🇻🇮🇺🇸🇪🇹
Ragnar {Groot Koerkamp} @curiouscoding.nl Postdoc on high troughput bioinformatics @ KIT Karlsruhe;
IMO, ICPC, Xoogler, Rust, road-cycling, hiking, wild camping, photography
Ryan O'Donnell @booleananalysis.bsky.social
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.
Jeremy Kun @jeremykun.com Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google.
https://jeremykun.com/linkgraph
https://heir.dev
Sabine Hossenfelder @hossenfelder.bsky.social German Physicist
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/
Teemu Roos @teemuroos.bsky.social Your friendly neighborhood AI Professor, University of Helsinki • Lead Instructor of the Elements of AI online course • AI, machine learning, education, science comms • geek, runner, foodie #MLsky #dataBS
Josh Alman @jalman.bsky.social Theoretical Computer Scientist at Columbia. joshalman.com
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
Jaakko Lehtinen @jaakkolehtinen.bsky.social Generative AI and computer graphics at Aalto University & NVIDIA Research. @ellis.eu Fellow. https://users.aalto.fi/~lehtinj7
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
Tom Henzinger @thenzinger.bsky.social Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social
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
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/
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
Jukka Suomela @jukkasuomela.fi Professor – Department of Computer Science, Aalto University – theory of distributed & parallel computing – https://jukkasuomela.fi
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)
Daniel Litt @littmath.bsky.social Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Neeldhara Misra @neeldhara.bsky.social → http://www.neeldhara.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
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.
𝖬𝖺𝗁𝖽𝗂 𝖢𝗁𝖾𝗋𝖺𝗀𝗁𝖼𝗁𝗂 @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.
Anupam Gupta @anupamg.bsky.social Professor, Computer Science, New York University. Interested in Algorithms.
Guy Van den Broeck @guyvdb.bsky.social 🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
Timothy Gowers @wtgowers.bsky.social Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
Greg Bodwin @gbodwin.bsky.social Associate professor at UMich. I do theoretical computer science and graph theory.
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@cejin.bsky.social @cejin.bsky.social
John Preskill @preskill.bsky.social Caltech theoretical physicist
Ola Svensson @algosvensson.bsky.social Theoretical Computer Science @ EPFL