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.
John C. Baez @johncarlosbaez.bsky.social Mathematical physicist
Rob Cornish @rob-cornish.bsky.social Research fellow @ Oxford Statistics Department
jrmcornish.github.io
Gemma De les Coves @gemmadlc.bsky.social ICREA Research Professor in Barcelona
Max-Planck-Gesellschaft @maxplanck.de Official account of the Max Planck Society. Devoted to basic #research in #physics #astronomy #chemistry #biology #earthsciences #materialscience #mathematics #socialsciences and the #humanities; Imprint: https://www.mpg.de/imprint
Massachusetts Institute of Technology @mit.edu This is the official Bluesky account for MIT. We are currently not active on this platform.
MIT Press @mitpress.bsky.social Committed to the daily re-imagining of what a university press can be since 1962.
Website: https://mitpress.mit.edu
The Reader (our home for excerpts, essays, & interviews): https://thereader.mitpress.mit.edu
MIT Press Direct: https://direct.mit.edu/
University of Oxford @ox.ac.uk Welcome to our official account ๐ Follow for the latest news, research and updates about life at Oxford.
Ned Summers @nedsummers.bsky.social computer scientist/mathematician at the University of Oxford amongst other things
Berlin-based | he/him
Eigenraum @eigenraum.bsky.social Mathepodcast aus Magdeburg von und mit @tomkalei.bsky.social
Podcastet mehrmals jรคhrlich. ๐
Postet #Mathe auf Social Media.
(bevorzugt Mastodon @eigenraum.podcasts.social.ap.brid.gyโฌ)
Ichiro Hasuo ่ฎๅฐพ ไธ้ @ichirohasuo.bsky.social ๆ
ๅ ฑๅญฆใฎ็ ็ฉถ่
ใปๅคงๅญฆๆๅก๏ผ็ ็ฉถๅ้ใฏใฝใใใฆใงใข็งๅญฆ๏ผ็นใซ๏ผๆฐๅญฆ็ๅบ็คใป่ซ็ๅญฆๅฟ็จใปๅฝขๅผๆค่จผใป่ซ็ใจ็ตฑ่จใฎ่ๅใซใใๅฎใทในใใ ใฎๅฎๅ
จๆงไฟ่จผ๏ผ
ๅฝ็ซๆ
ๅ ฑๅญฆ็ ็ฉถๆ๏ผ็ทๅ็ ็ฉถๅคงๅญฆ้ขๅคงๅญฆ๏ผๆ ชๅผไผ็คพใคใใญใณ๏ผไป
https://group-mmm.org/~ichiro/
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
Ivan Di Liberti @diliberti.bsky.social Academic at Gothenburg University. Mathematician. Late millennial.
Dr Eugenia Cheng -- no advice please -- @dreugeniacheng.bsky.social Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc. "Unequal" out 2025!
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/ ]
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Women In Logic @womeninlogic.bsky.social Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
Dan Marsden @stringdiagram.bsky.social Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
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.
julesh @julesh.mathstodon.xyz.ap.brid.gy Applied Compositional Thinking
๐ bridged from โ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
Emilio Minichiello @eminichiello.bsky.social Assistant Professor of Mathematics. I like categories, spaces and algorithms.
Emiliominichiello.com- E Evan Patterson @epatters.bsky.social Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
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 ๐ช๐ช.
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
Joe @lgyraoptuhneonvdie.bsky.social Actually autistic
Protect trans children
Land back
Abolish police
Abolish prison
Free Palestine
Nathaniel Virgo @nathanielvirgo.bsky.social I research applied category theory / complex systems.
I post sporadically about maths, science, random creative projects.
they/them
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)
Thomas Kahle @tomkalei.bsky.social Mathematician, Podcaster, cyclist, dad, antifascist, Magdeburg, he/him
Not active here, not following @mentions even.
Only Mastodon: @tomkalei@mathe.social
https://thomas-kahle.de
When I was young, we used to compile our own operating systems.
Matt Kukla @n-category.bsky.social mkukla.net
Michael Bronstein @mmbronstein.bsky.social DeepMind Professor of AI @Oxford
Scientific Director @Aithyra
Chief Scientist @ProximaBio
ML Lead @ProjectCETI
geometric deep learning, graph neural networks, generative models, molecular design, proteins, bio AI, ๐ ๐ถ
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
Chris Heunen @chrisheunen.bsky.social computer scientist, mathematician, father, karateka, pianist
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/
Talia Ringer @taliaringer.bsky.social 
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
sarahzrf @sarahzrf.bsky.social posts subject to deletion
[s]ad Astra @astradiol.bsky.social ๐๐๐๐๐ ๐๐๐ ๐ฟ๐๐๐; ๐ฎโด๐๐โฏ๐๐ ๐๐พ๐โฏ ๐
๐ถ๐พ๐๐พ๐โ. ๐๐ฒ๐ฏ๐ข ๐ช๐๐ฑ๐ฅ๐ฐ ๐๐ฅ๐ ๐ฐ๐ฑ๐ฒ๐ก๐ข๐ซ๐ฑ. ๐๐๐/๐๐๐
Andre Videla @andrev.bsky.social I like trains
Stefano Gogioso @stego.bsky.social Accelerating quantum cryptography at @spooqy-ai.bsky.social โ๏ธ๐ป๐
๐ฆ I'm @StefanoGogioso on X
Neil Ghani @anarchia.bsky.social Category theory
AI
Political betting
Artist
Grant Writer
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)
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Nima Rasekh @nimarasekh.bsky.social Mathematician at @unigreifswald.bsky.social
Lived in ๐ฉ๐ช๐ฎ๐ท๐จ๐ฆ๐บ๐ธ๐จ๐ญ currently in ๐ฉ๐ช
He/Him/His
Interested in: homotopy theory, category theory, formalization of mathematics, AI
https://nimarasekh.github.io
arxiv math.CT @arxiv-math-ct.bsky.social Mathematics -- Category Theory (math.CT)
source: export.arxiv.org/rss/math.CT
maintainer: @tmaehara.bsky.social