Dan Marsden
Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
@drmehmetismail.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-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@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
@visualalgebra.bsky.social
Associate Professor (Clemson) | AIMS Lecturer (South Africa) | Author: "Visual Algebra" (forthcoming) | YouTuber | First Gen | Homesteader | Dad to Ida & Felix
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@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.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.
@wtgowers.bsky.social
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
@cup-jfp.bsky.social
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Published by Cambridge University Press. Posts by @liamoc.net
@taxipom.bsky.social
My research interests are in Combinatorics, with focus on structural properties of sparse combinatorial objects, limits of structures, and model theoretical aspects of structural graph theory.
@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.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@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.
@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.
@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/
@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/ ]
@mattecapu.bsky.social
🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
@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.bsky.social
Mathematics -- Logic (math.LO) source: https://export.arxiv.org/rss/math.LO maintainer: @tmaehara.bsky.social
@arxiv-math-ct.bsky.social
Mathematics -- Category Theory (math.CT) source: export.arxiv.org/rss/math.CT maintainer: @tmaehara.bsky.social
@thecedarprince.bsky.social
🤓: MS Applied Math @ NEU; Trainee Affiliate @ Roux Inst 🔎: Health informatics, public health, applied cat. theory & open source/science 📝: EN/ES/DE/AR/CZ 🌐: Blog @ https://jacobzelko.com 📹: Twitch @ https://www.twitch.tv/thecedarprince
@nimarasekh.bsky.social
Mathematician at @unigreifswald.bsky.social QF Fellow at Zaiku Group Lived in 🇩🇪🇮🇷🇨🇦🇺🇸🇨🇭 currently in 🇩🇪 He/Him/His Interested in: homotopy theory, category theory, formalization of mathematics, quantum computation https://nimarasekh.github.io
@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.
@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/
@eminichiello.bsky.social
Assistant Professor of Mathematics. I like categories, spaces and algorithms. Emiliominichiello.com
@womeninlogic.bsky.social
Women in Logic: Dismantling inequality skeet by skeet. https://www.womeninlogic.org/
@kareemcarr.bsky.social
Stats PhD student @Harvard • My posts are a cool, refreshing breeze of nerdy content crafted for a broad audience. Follow me to enter the nerd space safe.
@profkinyon.bsky.social
Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Also hanging out at Mathstodon.
@mathandcobb.bsky.social
Professor of Mathematics, number theorist (arithmetic geometry), author, Hagoromo chalk ambassador, bonsai amateur. Views expressed are my own.
@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
@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
@quantamagazine.bsky.social
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
@stevenstrogatz.com
Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@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. https://liamoc.net
@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.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.