Jeffrey Shallit ๐บ๐ฆ @shallit.bsky.social Grumpy old American mathematician and computer scientist, now retired. My Erdรถs number equals 1. 
Oxford Mathematics @oxfordmathematics.bsky.social Official account of the Mathematical Institute, University of Oxford
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Ian Mertz @iwmertz.bsky.social Complexity theory person. Postdoc in the Computer Science department at Charles University, occasional translator. Tea and breathing enthusiast. he/him
MathSky MathSky @mathskymathsky.bsky.social 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/how-is-math-beautiful-20200616/
Erica Klarreich @ericaklarreich.bsky.social Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.
Dr Miranda Kaufmann @drmirandakaufmann.bsky.social #Historian. Author #BlackTudors #Heiresses (out September 2025) Collaborative educator #TeachingBlackTudors
www.mirandakaufmann.com
www.linktr.ee/drmirandakaufmann
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
Jason Okundaye @jaseokundaye.bsky.social Writer at the Guardian and assistant opinion editor
Ben Goldacre @bengoldacre.bsky.social Prof of EBM @UniOxford, author, Bad Science person, more... I run http://bennett.ox.ac.uk making tools+papers from data http://OpenSAFELY.org http://OpenPrescribing.net
Sathnam Sanghera @sathnam.bsky.social Sunday Times bestselling author. FRSL. FRHistS. WTF. #Empireworld #EmpireLand #TheBoyWithTheTopknot #MarriageMaterial. New book on George Michael, Tonight the Music Seems So Loud, published by Picador, out now. https://shorturl.at/qhPlJ
London Mathematical Society @londmathsoc.bsky.social The London Mathematical Society (LMS), founded in 1865, is the UK's learned society for the advancement, dissemination and promotion of #mathematics.
@fryrsquared.bsky.social @fryrsquared.bsky.social 
Graham C @grahamrc.bsky.social Sketch artist ๐ professional claimant ๐ occasionally cryptic
Marie Kerjean @mariekerjean.bsky.social Researcher in Theoretical Computer Science at the LIPN. #Logic and Analysis, mainly.
Pronouns : She/her
๐ https://lipn.univ-paris13.fr/~kerjean/
Count Binface @countbinface.bsky.social Space politician. โโFace of the Establishmentโ. Sane.
Mohamed A. El-Erian @elerianm.bsky.social Professor, Wharton School, and Senior Fellow, Lauder Inst (both at UPenn). Allianz Chief Economic Advisor. Chair, UnderArmour Board of Directors. Board member, NBER. CFR. Former co-CIO/CEO PIMCO and President, Queens' College, Cambridge University.
CU Boulder CS Theory @bouldertheory.bsky.social Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-theory/
Jukka Suomela @jukkasuomela.fi Professor โ Department of Computer Science, Aalto University โ theory of distributed & parallel computing โ https://jukkasuomela.fi
Sharada @sharada.bsky.social Chief thumb twiddler of The Netherlands. Countess of Rayalaseema. Here for Cats, dogs, natural history, south Asian history posts. Feminist. Anticasteist. Marxist. Indian. Mostly share music/cinema on here.
Cameron Freer @cfreer.bsky.social Research Scientist at MIT studying interactions of randomness and computation
Thomas Seiller @seiller.bsky.social CNRS researcher, mathematical foundations of computer science, philosophy of computation. Scientific secretary of CoNRS section 06, member of the board of CoNRS interdisciplinary committee CID 53. ๐@thomasseiller@lipn.info ๐ https://www.seiller.org
roseline j a @rxlnj.bsky.social theoretical cs kid
currently @ matscience, chennai
https://rxlnj.github.io/
Cambridge Black Advisory Hub @cambridgebah.bsky.social Where EVERY month is #BlackHistoryMonth & EVERY DAY is for #ReclaimingNarratives: #BlackHistory365, with @CambridgeUni.bsky.social's #BlackCantabs. #CamBAH #Cambridge #Cantab
Yasmin Alibhai Brown @yasminalibhaibrown.bsky.social Left-wing columnist, author, provocateur 
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
Praแนay Manocha @pranman.com Providing an immigrant's perspective on Western politics
Joel David Hamkins @joeldavidhamkins.bsky.social Mathematics and Philosophy of the Infinite
Professor of Logic, University of Notre Dame
University of Oxford
#InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths
https://buymeacoffee.com/joeldavidhamkins
๐ฌ๐บ๐๐ฝ๐ ๐ข๐๐พ๐๐บ๐๐๐ผ๐๐ @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.
Sadiq Khan @sadiqkhanlondon.bsky.social Londonmaxxing since 2016- P @peter-shor.bsky.social @peter-shor.bsky.social
Taylor Smith @taylorjsmith.bsky.social ๐จ๐ฆ Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
@myvardi.bsky.social @myvardi.bsky.social 
Her Maths Story @hermathsstory.bsky.social โจ Sharing stories of women in mathematics in all walks of life #hermathsstory
๐ https://hermathsstory.eu
University of Cambridge @cam.ac.uk Official account for the University of Cambridge. Follow us for research, news, events and student stories from the Cambridge community ๐๐
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/
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
The Royal Society @royalsociety.org The Royal Society is a Fellowship of many of the world's most eminent scientists and is the oldest scientific academy in continuous existence.
https://royalsociety.org/
Zack Polanski @zackpolanski.bsky.social Green Party Leader (England & Wales)
London Assembly Member.
๐ณ๏ธโ๐
Promoted by Elfrede Brambley-Cranshaw on behalf of the Green Party of England and Wales. c/I po box 78066, London. SE16 9GQ
Carlos Caldas ๐ต๐น๐ฎ๐ฑ๐ช๐บ๐ฌ๐ง @carloscaldas1960.bsky.social Cancer Physician Scientist
@caldaslab.bsky.social
@hebrewuniversity.bsky.social
@lautenbergc.bsky.social
@hadassahorg.bsky.social
Functional genomics.
Breast cancer ecosystems.
Cell state and cell fate.
Precision Cancer Medicine 2.0
#METABRIC
#PDTXs
David Olusoga @davidolusoga.bsky.social British-Nigerian Historian - BAFTA Winning Producer/Presenter - Best Selling Author - AGENT cwalker@unitedagents.co.uk
Tomas Petricek @tomasp.net Associate prof @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent & @cst.cam.ac.uk.
Check out my book "Cultures of Programming"! https://tomasp.net/cultures
Henry Yuen @henryyuen.bsky.social Complexity, in all its forms.
Associate Professor of Computer Science at Columbia University.
http://www.henryyuen.net
Ben Brubaker @benbenbrubaker.bsky.social Computer science staff writer @quantamagazine.org, 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.]
Rohini Lakshanรฉ @aldebaran14.bsky.social Engineer, interdisciplinary researcher, Wikimedian, polyglot, dopamine enthusiast. Writing. Teaching. Gaia is god. Personal views. The personal is political. https://about.me/rohini (She/ her)
Caroline Lucas @carolinelucas.bsky.social ๐ Former MP for Brighton Pavilion, former Leader @greenparty.org.uk Professor of Practice, University of Sussex. Author of 'Another England: How to Reclaim our National Story'. Writing & campaigning on climate & nature ๐ linktr.ee/carolinelucasbrighton
Resolution Foundation @resolutionfoundation.org The Resolution Foundation is an independent think-tank dedicated to lifting living standards in the UK.
Victoria Coren Mitchell @vcorenmitchell.bsky.social Writer, poker player and accidental quiz show host.
Peter Rowlett @peterrowlett.net I teach maths and computing at a UK university and work as a maths communicator. Sheffield/Nottingham based. Editor, The Mathematical Gazette. Aperiodical blog, Mathematical Objects podcast. Part of http://finitegroup.co.uk
peterrowlett.net
Bruce Springsteen @brucespringsteen.net brucespringsteen.net
Adam Shatz @adamshatz.bsky.social US editor of The London Review of Books; author of โThe Rebelโs Clinic: The Revolutionary Lives of Frantz Fanonโ and โIn Search of a Sound,โ a book about the Black American musical avant-garde from Coltrane to the present (out from FSG in 2027).
Athene Donald @athenedonald.bsky.social Retired professor of physics and former Master of Churchill College Cambridge. Interested in science policy, skills, education and EDI issues; author of Not Just for the Boys; blogging at https://occamstypewriter.org/athenedonald/
@andyburnham.bsky.social @andyburnham.bsky.social Mayor of Greater Manchester
Bellingcat @bellingcat.com Bellingcat is a global collective uncovering facts to hold power to account. Our work is independent. Our methods are public. Our community is global.
Want to support our charity? bellingcat.com/donate
Alice Roberts @profaliceroberts.bsky.social Prof of Public Engagement in Science, Uni of Birmingham; anatomist, author, broadcaster; vice President of Humanists UK. All views my own.
Theory of Computing Report @theory.report [bridged from https://theory.report/ on the web: https://fed.brid.gy/web/theory.report ]
Andrea Montanari @andrea-montanari.bsky.social Professor, Stanford University, Statistics and Mathematics. Opinions are my own.
Michael Kinyon @profkinyon.bsky.social Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Occasionally drop in at Mathstodon, but not as much as I used to.
Sophie Huiberts @sophie.huiberts.me CNRS researcher in linear programming
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
Dr Pyviv @pyviv.bsky.social Combinatorist, Mathematician, CS PhD, pythonista, teacher, feminist, and more. She / her
Also here on Mastodon https://t.co/TdGPTS8KMq
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Rajeev Kinra @rkkinra.bsky.social Historian, etc
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Professor Katharine Adeney @katadeney.bsky.social Prof Comparative Politics Nottingham. Researches (& loves) S Asia. India Pakistan Sri Lanka. CPEC, Federalism, Majoritarianisms, HE, EDI & SEN.
Mum and wife of Long Covid sufferer.
Cats ๐โโฌ, Brompton ๐ดโ, Gardening.
Views expressed my own 
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/
Prem Sikka @premnsikka.bsky.social Emeritus Professor. Member, UK House of Lords.
If with all your effort and might you do not reach the mountain top that is not failure; failure is that you did not even try.
Dr Tom Crawford @tomrocksmaths.bsky.social Mathematician at Oxford and Cambridge. 250,000 on YouTube. Numberphile. Tom Rocks Maths. Countdown.
Cambridge University Botanic Garden @cubotanicgarden.bsky.social One of the largest university-owned botanic gardens in the world, CUBG's diverse collection of 8,000+ plant species supports leading scientific research. Welcoming 350,000+ visitors annually, it also inspires a love of plants, learning & horticulture.
Sera Markoff @profsera.bsky.social Plumian Prof in Astro @U Cambridge & Prof Astro-/Particle Physics @U Amsterdam. All things black hole, member: Event Horizon Telescope, Africa Millimeter Telescope, CTAO. Space, sci-fi, cats, music, valve amps, other unabashed geekery. www.seramarkoff.com
Tim Berners-Lee @timbl.bsky.social Inventor of WWW
Co-founder & CTO Inrupt.com | Lead, Solidproject.org
Co-founder WebFoundation.org & theODI.org
Founder w3.org
My memoir โThis is for Everyoneโ https://thisisforeveryone.timbl.com/
Follow me on Mastodon https://w3c.social/@timbl
Schloss Dagstuhl โ Leibniz-Zentrum fรผr Informatik (LZI) @dagstuhl.de To computer scientists Dagstuhl has a special ring: a place to hide away for intensive seminars. The center facilitates research also by its bibliography database dblp and its open access publishing.
Visit https://www.dagstuhl.de to learn more.
Sadiah Qureshi ๐ฆ @sadiahqureshi.bsky.social Vanished: An Unnatural History of Extinction shortlisted for the Wolfson History Prize, Royal Societyโs Trivedi Prize & 2025 best book for FT, Guardian, BBC History & Smithsonian.
Views own. https://www.penguin.co.uk/books/309254/vanished-by-qureshi-sadi
Nicole Wein @nicolewein.bsky.social Assistant professor at University of Michigan. Theoretical computer science.- 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/
Chris Heunen @chrisheunen.bsky.social computer scientist, mathematician, father, karateka, pianist
Artem Chernikov @archernikov.bsky.social Michael Brin professor of mathematics at the University of Maryland. Mathematical logic, model theory - and connections to combinatorics, algebra, etc.
chernikov.me
Stefano Gogioso @stego.bsky.social Accelerating quantum cryptography at @spooqy-ai.bsky.social โ๏ธ๐ป๐
๐ฆ I'm @StefanoGogioso on X
Achim Blumensath @blumensath.bsky.social signal over noise
London Review of Books @lrb.co.uk Critical thinking, published every fortnight.
Read at lrb.co.uk
Try the LRB for just ยฃ6: lrb.me/social
Emily Shuckburgh @eshuck.bsky.social Director, Cambridge Zero
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Dan Marsden @stringdiagram.bsky.social Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
Leverhulme Trust @leverhulme.ac.uk An independent charity that seeks to fund blue skies research and scholarship. Follow this channel for details on upcoming grant deadlines, published research, scheme opening dates, grant announcements, events, and more. https://www.leverhulme.ac.uk/
John C. Baez @johncarlosbaez.bsky.social Mathematical physicist
THE NERVE @thenerve.news NEW Fearless, independent journalism covering culture, politics and tech
Join us! Sign up for our free twice-weekly newsletter โฌ๏ธ
We rely on supporters to fund our work. Please also consider upgrading to membership of the Nerveโฆ ๐
thenerve.news/subscribe
Cecilia Mascolo @ceciliamascolo.bsky.social Professor at University of Cambridge and cofounder/CSO of auryx. Researches mobile and wearable systems and machine learning for health and fitness. https://www.cl.cam.ac.uk/~cm542/ and https://www.auryx.ai
Martin Lewis @martinlewis.moneysavingexpert.com Founded MoneySavingExpert, @moneyandmentalhealth.org, (ish) the Martin Lewis Money Show ITV & Martin Lewis Podcast
Private Eye Magazine @privateeyenews.bsky.social Britain's best-selling news and current affairs magazine with a unique mix of jokes and investigative journalism.
Website: https://private-eye.co.uk
Subscribe: http://subsonline.co.uk
Lakshmi Chandrasekaran @lakshmic.bsky.social Freelance science writer covering tech, math, computer science- https://lakshmichandrasekaran.contently.com/. Words in SIAM news, MIT Tech Review, Science News, Kellogg Insight, Quanta & others.
Blog website: https://scieye.wordpress.com/
Naomi Klein @naomiaklein.bsky.social "End Times Fascism" book available now.
Doppelganger. This Changes Everything. The Shock Doctrine. No Logo. On Fire.
UBC Professor of Climate Justice.
๐ https://linktr.ee/naomiklein
Full Fact @fullfact.org Full Fact is the UK's independent fact checking charity. We put reliable evidence at the heart of public debate so you can make sense of what matters.
www.fullfact.org
Vaishnavi S @vaishs.bsky.social Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
Shells and Pebbles @shellsandpebbles.bsky.social Interesting finds on the shores of the history of science and the humanities. We are a group of historians of science from the Netherlands editing a blog on the history of the sciences and the humanities. Posts by Elian Schure.
Sunder Katwala (sundersays) @sundersays.bsky.social Director of @britishfuture.bsky.social
Author How to be a Patriot https://harpercollins.co.uk/products/how-to-be-a-patriot-why-love-of-country-can-end-our-very-british-culture-war-sunder-katwala?variant=40518936559694
Evertonian
John Simpson @johnsimpsonnews.bsky.social BBC lifer since 1966, international affairs editor since 1982. Presenter of โUnspun Worldโ on BBC Two, BBC World & World Service. Two daughters, one son, six grandchildren, a loving wife, lots of books, and an Irish terrier. Defender of the Oxford comma.
FLoC 2026 @floc2026.bsky.social 
Stella Creasy MP @stellacreasy.bsky.social Sitting on the sidelines is for Waldorf and Statler. Promoted by Tim Dexter on behalf of Labour both at 23 Orford Rd E17 9NL.
Bob Coecke @coecke.bsky.social Chief Scientist at Quantinuum, ex Oxford Professor, author of Picturing Quantum Processes & Quantum in Pictures. Also, composer/musician at Black Tish, inventor of Quantum Guitar, playing duets with orchestral organ.
University of Cambridge Museums @camunivmuseums.bsky.social Eight University of Cambridge Museums & the Botanic Garden | Five million marvellous objects to discover | Come on in! museums.cam.ac.uk