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.
Tom Gur @tomgur.bsky.social Professor of Computer Science at Cambridge.
John C. Baez @johncarlosbaez.bsky.social Mathematical physicist
Ulrich Pennig @pennigulrich.bsky.social Senior Lecturer in Algebra and Topology at Cardiff University. All views are my own.
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.
@emilyriehl.bsky.social @emilyriehl.bsky.social 
Mehmet Mars Seven ♞ @mehmetmars7.bsky.social Lecturer @kcl-spe.bsky.social @kingscollegelondon.bsky.social
Game Theory, Econ & CS, Pol-Econ, Sport
Chess ♟️
Game Theory Corner at Norway Chess
Studied in Istanbul -> Paris -> Bielefeld -> Maastricht
https://linktr.ee/drmehmetismail
Views are my own
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Computerphile @computerphile.bsky.social YouTube videos about computers and the internet and stuff... Sister project to numberphile
Supported by Jane Street - https://jane-st.co/computerphile
Simon Burton @fridaysimon.bsky.social Quantum computing -- Lead R&D scientist at Quantinuum.
Matt Macauley @visualalgebra.bsky.social Associate Professor (Clemson) | AIMS Lecturer (South Africa) | Author: "Visual Algebra" (forthcoming) | YouTuber | First Gen | Homesteader | Dad to Ida & Felix | 🔱
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Lawrence Paulson @lawrpaulson.bsky.social Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Ed Hollox @edhollox.bsky.social Professor of Genetics at U of Leicester. Genome structural variation.
"Anyone with gumption and a sharp mind will take the measure of two things: what's said and what's done." Views my own.
Combinatorics @combinatorics.bsky.social This is the "official account" of the mathematics research field "Combinatorics".
This account can be given around to combinatorialists around the world for one week each to post about their view on the field. DMs are open for requests.
Timothy Gowers @wtgowers.bsky.social Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
Journal of Functional Programming @journal-of-fp.bsky.social Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
Max Little @maxal.bsky.social Academic mathematician/computer scientist, University of Birmingham, UK. AI and machine learning, causal inference, signal processing, applied mathematics, computational statistics. Ex Oxford PhD, MIT postdoc fellow.
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
This Week in Rust @thisweekinrust.bsky.social Cataloguing the Rust community's awesomeness. #rustlang
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
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/
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique.
[bridged from https://mathstodon.xyz/@noamzoam on the fediverse by https://fed.brid.gy/ ]
Achim Blumensath @blumensath.bsky.social signal over noise
Matteo Capucci @mattecapu.bsky.social 🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
You can't find me here, I'm on @mc@mathstodon.xyz
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
arxiv math.LO @arxiv-math-lo.bsky.social Mathematics -- Logic (math.LO)
source: https://export.arxiv.org/rss/math.LO
maintainer: @tmaehara.bsky.social
arxiv math.CT @arxiv-math-ct.bsky.social Mathematics -- Category Theory (math.CT)
source: export.arxiv.org/rss/math.CT
maintainer: @tmaehara.bsky.social
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
@fryrsquared.bsky.social @fryrsquared.bsky.social 
Jacob S. Zelko @thecedarprince.bsky.social 🤓: Applied Math & Biomed Engineer; Research Affl @usask.ca
🔎: Health informatics, public health, applied cat. theory & open source/science
📝: EN/ES/DE/AR
🌐: Blog @ https://jacobzelko.com
📹: Twitch @ https://www.twitch.tv/thecedarprince
@friedporkrice.bsky.social @friedporkrice.bsky.social first as tragedy, then as memes
Nima Rasekh @nimarasekh.bsky.social Mathematician at @unigreifswald.bsky.social
Mathematics Research Scientist at Turing
Lived in 🇩🇪🇮🇷🇨🇦🇺🇸🇨🇭 currently in 🇩🇪
He/Him/His
Interested in: homotopy theory, category theory, formalization of mathematics, AI
https://nimarasekh.github.io
normal-wife @category-fury.bsky.social I have a PhD in maths. I don't know what any of this shit is and I'm fucking scared. SF6 cfn: normal-wife
Manuel Baltieri @manuelbaltieri.bsky.social Chief Researcher at Araya, Tokyo. #ALife, #AI, embodied and enactive #cognition. Information, control and applied category theory for cognitive science.
https://manuelbaltieri.com/
Emilio Minichiello @eminichiello.bsky.social Assistant Professor of Mathematics. I like categories, spaces and algorithms.
Emiliominichiello.com
Women In Logic @womeninlogic.bsky.social Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
Dr. Kareem Carr, Ph.D. @kareemcarr.bsky.social Statistician. PhD @Harvard • Masters degree in pure math • Follow me for fun, nerdy content.
Sign up to my newsletter: kareemcarr.substack.com
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.
Álvaro Lozano-Robledo @mathandcobb.bsky.social Professor of Mathematics, number theorist (arithmetic geometry), author, Hagoromo chalk ambassador, bonsai amateur.
Views expressed are my own.
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
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
Lance Fortnow @lance.fortnow.com Complexity Theorist
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Evelyn Lamb @evelynjlamb.bsky.social Math and science writer. Complex analysis fangirl.
Steven Strogatz @stevenstrogatz.com Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
Jay Cummings @longformmath.bsky.social Math professor at CSU Sacramento
Nalini Joshi @monsoon0.bsky.social Mathematician, wife, mother, addicted to math
Evan Washington @eewash.bsky.social yields falsehood when preceded by his own quotation
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Liam O'Connor @liamoc.net Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Clemens @gibtsdes.bsky.social Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
Johan Jeuring @johanjeuring.bsky.social Professor of Software technology for learning and teaching, Utrecht University
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Matt Parker @standupmaths.bsky.social That maths guy from the internet.
Viv Kendon @quantumviv.bsky.social I design quantum computers @physicsstrath.bsky.social and @ccp-qc.bsky.social
https://kendon.info/viv
Fredrik Nordvall Forsberg @fredriknf.com Senior Lecturer University of Strathclyde.
Hiking, orienteering, running, etc.
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
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/ ]
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Ross Duncan @rossquantum.bsky.social Quantum computing lifer. ZX-calculus co-inventor. Quantum compiler compiler and quantum programmer programmer. String diagrammer. Category theoriser.
Senior Fellow @ Quantinuum
(I cannot read DMs on Bluesky)
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
Neil Ghani @anarchia.bsky.social Category theory
AI
Political betting
Artist
Grant Writer
Stefano Gogioso @stego.bsky.social Accelerating quantum cryptography at @spooqy-ai.bsky.social ⚛️👻🚀
🐦 I'm @StefanoGogioso on X
Andre Videla @andrev.bsky.social I like trains
sarahzrf @sarahzrf.bsky.social posts subject to deletion
Talia Ringer @taliaringer.bsky.social 
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.
Hamza Waseem @quantumfoundations.bsky.social Oxford Physics DPhil (Rhodes Scholar) | Disclaimer: All views expressed here are my own and do not represent the views of my employer.
https://sites.google.com/site/hamzawaseem813/
Chris Heunen @chrisheunen.bsky.social computer scientist, mathematician, father, karateka, pianist
Bruno Gavranović @bgavran.bsky.social I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/TensorType
www.brunogavranovic.com
David Corfield @davidcorfield.bsky.social Philosopher interested in mathematics, especially category theory, and psychoanalysis. Author of 'Modal Homotopy Type Theory: The prospect of a new tool for philosophy' (OUP, 2020) and 'Why do people get ill? (Hamish Hamilton 2007)
Nathaniel Virgo @nathanielvirgo.bsky.social I research applied category theory / complex systems.
I post sporadically about maths, science, random creative projects.
they/them
Joe @lgyraoptuhneonvdie.bsky.social Actually autistic
Protect trans children
Land back
Abolish police
Abolish prison
Free Palestine
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
ieva @hyperboieva.bsky.social Quantum information, useless information, generally informed.
Quantum algorithms researcher at phasecraft.io
https://ievacepaite.com/
Amar Hadzihasanovic @amarh.bsky.social Assistant Professor at TalTech, advisor at Quantinuum. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.- E Evan Patterson @epatters.bsky.social Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
julesh @julesh.mathstodon.xyz.ap.brid.gy Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Paolo Perrone @paolopmath.bsky.social Mathematician & Math Teacher
Tony Padilla #JFT97 Don’t buy the S*n @proftonypadilla.bsky.social Physics, Socialism and Liverpool FC. Author of Fantastic Numbers and Where to Find Them (views are all mine, nowt to do with anyone or anything else)
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app