Topos Institute @toposinstitute.bsky.social US/UK-based non-profit research institute. We shape technology for public benefit by advancing sciences of connection and integration. Our goal is a world where the systems that surround us benefit us all.
https://topos.institute
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
⍼ https://ionathan.ch
@jhemann.bsky.social @jhemann.bsky.social 
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
Joe Cutler @alphaconvert.bsky.social cutler.pl
Joseph O'Rourke @josephorourke.bsky.social Mathematician and Computer Scientist, Smith College, USA.
https://cs.smith.edu/~jorourke/
Polyhedron displayed in banner has max volume of all convex foldings from a square.
Jen Berg @jen-at-work.bsky.social Asst. Prof. of Math at Bucknell. she/her/hers
Matthias Aschenbrenner @maschenb.bsky.social Mathematician
Trajan Hammonds @starlord37.bsky.social Math PhD student at Princeton
Robert McNees @mcnees.bsky.social Physicist and Professor at a university in Chicago. I study black holes, quantum gravity, and cosmology. Rocky Top, Tar Heel. Reposts are spooky action at a distance.
My views, not my employer's.
https://jacobi.luc.edu
https://mcnees.github.io
Oxford Mathematics @oxfordmathematics.bsky.social Official account of the Mathematical Institute, University of Oxford
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.
Johannes Korbmacher @jkorbmacher.bsky.social Assistant Professor @UtrechtUniversity
Mathematical philosopher, logician
Jessica Schirle @stablejess.bsky.social Mathematician, logician, aspiring geometric group theorist, Christian, trying my best to advocate and work for the poor, but always needing to learn.
ProfKeithDevlin @profkeithdevlin.bsky.social Mathematician (Emeritus, Stanford), author, blogger, and avid cyclist. For many years "The Math Guy" on NPR. Co-founder of the ed tech company BrainQuake. Also https://tinyurl.com/w6p2bx5s
Steve Trettel @stevejtrettel.bsky.social Math Prof: Geometry, Topology and Illustration at University of San Francisco. Minnesotan, from the occupied lands of the Dakota people.
Olivier Roy @olivierroy.bsky.social Logician and philosopher at the University of Bayreuth (Germany)
Hope @hopeiona.bsky.social Set theorist. Maths comm. Panel show enthusiast. Reader of too many books at once.
Andrew Stacey @mathforge.org Mathematician: formerly academic (differential topology), currently educational (Head of Department in a UK secondary school).
Side interests in Maths & Programming & Art.
Website: https://loopspace.mathforge.org 
Estes, John @johnestesmath.bsky.social Mathematics professor hoping to make math easy for others. Into STEAM topics: 3DPrinting #Arduino Maker RStats | Erdös Number 2
youtube.com/@johnestesmath3036
Liℤℤy Kodpuak née Acid Lich (can’t spell sheaves without she) @acidlich.bsky.social Artist & mathematician. I’m serious, I am mathematician. She/her. Actually autistic 🚲
Aspiring polyglot:
🇹🇭🇨🇳🇭🇰🇱🇦🇰🇭🇩🇪
I used to be a tattooer until I took an arrow to the knee
https://linktr.ee/Acid_Lich?utm_source=linkt
nat!! @sheafnat.bsky.social the dyke cat mathematician (unique up to contractible space of choices)
(co)Brantley (co)Vose @brantleyvose.bsky.social Math PhD student studying geometric methods in data analysis.
String diagram evangelist.
I also make electronic music sometimes.
prismika.github.io/
Enirc Solet @enric-sf.bsky.social Geometry PhD at UCL & Imperial.
He/him 🏳️🌈.
1-Oct #nioblitniperdó
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
Dirk Lorenz @dirque.bsky.social Doing mathematics, also as a job. Now at Uni Bremen, was at TU Braunschweig. Only here for the math. Optimization, inverse problems, imaging, learning - stuff like that.
Dr. Haydee Lindo, PhD @haydeelindo.bsky.social (Mathematician, Professor)
Award-winning Math Educator
Research in Commutative Algebra+
Developing Human Intelligence within the Liberal Arts
Personal: 🇯🇲 Global Citizen. Eph 🐮. Semper Vigilans.
reposts, follows, & likes ≠ endorsement.
David Radcliffe @radcliffe.dev Mathematician and dog walker in St. Paul, MN
Matt Wright @profwright.bsky.social Math professor at Missouri State University
Rudi Zeidler @rzeidler.eu Mathematician, working on scalar curvature and related topics in geometry, topology and analysis. Professor at the University of Potsdam.
rzeidler.eu
Rowena Ball @rowena-mathscieng.bsky.social Professor in mathematical sciences, Indigenous and non-Western mathematics, Origin of life, Cross-disciplinary interests in all STEM, Railways, Country pub lunches
She/her, widowed, with 3 children and 5 grandchildren
Christopher Hanusa @mathzorro.bsky.social Mathematician - Math Educator - Mathematical Artist - and loving it! Visit my @hanusadesign.com profile for #mathjewelry | #mtbos | #mathart | #plotter | #transit
Ben Allen @evodynamics.bsky.social Mathematical biologist studying evolution. Professor of Mathematics at Emmanuel College, MA. Queer, nonbinary (they/them). For social and ecological justice. Jewish as in Free Palestine. https://www.emmanuel.edu/emmanuel-mathematical-biology-research-embr
Christian Stump @christianstump.bsky.social Mathematician @ Ruhr University Bochum. Antifascist.
Quickly getting bored with social media, let's see how it goes.
Homepage: https://homepage.rub.de/christian.stump
Dr. Denis Sheeran @mathdenisnj.bsky.social I just want to have fun learning math together :) Math Educator, University Professor, Teacher Education, Author, Professional Development Consultant. Former HS Math teacher and administrator. #mtbos #makeitreal #edusky
DenisSheeran.com
Hendrik De Bie @debiehendrik.bsky.social Mathematician. Professor at UGent.
Giovanni Bracchi @giobrach.bsky.social Pure mathematics PhD @ UCL (microlocal analysis & spectral theory) – raised a physicist – friendly neighbourhood continuist – stalwart cat enthusiast – ↙↙↙
John Gosland @johngosland.bsky.social Wannabe Mathematician in Kentucky.
Professional C# scrub.
Vít Tuček @tucek.bsky.social mathematician (differential geometry, representation theory), data analyst and Python developer
Jesse Oldroyd @joldroyd.bsky.social Associate professor of mathematics at West Virginia Wesleyan College. My views are my own.
Joshua Bowman @thalesdisciple.bsky.social Associate professor of mathematics.
Hymn aficionado.
Large absent-minded spirit.
Resist simple narratives.
Cultivate an abolitionist imagination.
Matt Ollis @mattollis.bsky.social Mathematician at Emerson College, Boston. Combinatorics with a hint of group theory. Brit living in Vermont (temporarily back in Birmingham, UK). Board games. Maps. AVFC. Beginner bassist and even-more-beginner drummer. SciFi. Other stuff.
Dr. Kimberly Ayers @kdayers.bsky.social Associate Prof of Math, CSUSM. 은혜 She/Her. Dynamics and Ergodic Theory. Podcast listener. 🏳️🌈
gabe schoenbach @gabey.zip phd student @UChicagoCS. interested in cryptography, algorithms, combinatorics.
gabey.zip
Oscar Levin @oscarlevin.com Professor, Mathematician, Developer, Author, Magician, and Oxford Comma Fan. 
helen @homotoptheory.bsky.social Former mathematician and current podcaster. she/it. my views represent those of your employer.
culturally normal.
Podcast: @odiumsymposium.bsky.social
Blog: https://bananasinwartime.ghost.io/
Aaron Anderson @awainverse.bsky.social Model theory postdoc at UPenn
Ben Grant @bengrantmath.bsky.social PhD candidate in math at UConn. Interested in cluster algebras, representation theory, algebraic combinatorics, dimer models, knot theory, and logic. he/him/his
https://sites.google.com/view/benjamingrant
Justin Curry @currying.bsky.social Associate Professor of Math and Statistics at UAlbany
Gizem Karaali 🧿 @gizem-karaali.bsky.social Mathematician, researcher, educator, writer, parent, human (she/her/hers).
#math #numeracy #poetry #humanisticmathematics #openaccess #socialjustice #books
https://gkaraali.sites.pomona.edu
https://scholarship.claremont.edu/jhm/
https://bookbunnies.blog
Matthias Plaue @mplaue.bsky.social Math professor, data scientist. Author of text books on applied math and data science. Personal interests include quantum weirdness, time travel, epistemology.
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)
Bernadette Stolz @stolzbernadette.bsky.social Mathematician studying topology in biomedical data | Project leader of the Topological Learning in the Life Sciences group, Max Planck Institute of Biochemistry | Previously at EPFL & Oxford Maths | 2022 L’Oréal-Unesco #ForWomenInScience Fellow
Soul @soulctf.bsky.social Mathematician & Security Researcher
Arnav @dandu.dev https://arnavdandu.me/
Bill Wood @billarama.bsky.social Mathematics professor, board game junkie. Other things too, but I'll mostly post about those things. Squigonometer. #NewCollegeofFlotida alum. #mathsky
Dr. Mrs. Birgen @drbirgen.bsky.social Mathematician, Parent, COVID19Cautious, Jack of All Trades, Master of None
Sharer of news stories.
Dr Compact Housedwarf @cpthousedwarf.bsky.social Jayhawk mathematician, mom of 🏳️🌈🏳️⚧️kid, ArmyVeteran 98GRU, YIMBY, procycling fan, support DREAMERS, transit nerd, I wear-a😷, COVID competent shield for my longcovidspouse carfreebychoice 福岡 🇯🇵🗾💙📚🌱🪴San Diego, LawrenceKS, Kailua, Oxnard
Matthias Köppe @mkoeppe.bsky.social Professor, UC Davis #Mathematics. He/him. #DavisCA.
Made #SageMath pip-installable @passagemath.org.
https://github.com/mkoeppe #Python #OpenSource
#cutgeneratingfunctionology #optimization #orms
I block accounts to increase reading focus.
Yam Yerachmiel Felsenstein @themathyam.bsky.social 2nd Year PhD Student in Algebra at UPenn
Interested in Noncommutative Algebra, with a focus on Field Patching and Brauer Theory.
Currently learning noncommutative algebraic geometry.
Gracie Schultz @mathtoaster.bsky.social Hi! I’m a math and music major at Union College.
@sci00.bsky.social @sci00.bsky.social Gay physicist 🏳️🌈 Future quantum computing scientist.
George Pete Caleodis @caleodis.bsky.social http://imdb.me/georgecaleodis
actor/writer/comedian - Math Professor -
musician - critical thinker - no hate.
Alexandre Louvet @louveta.bsky.social CS and Maths grad student in USPN (Paris)
Liz Munch @elizabethmunch.bsky.social Mathematician. Assoc prof in CMSE at MSU studying TDA. 55N31, 62R40. Mother of 2 dragons. Half of a 2-body opportunity. She/her. - M Màrié @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
Heather Harrington @haharrington.bsky.social Mathematician interested in data & biology. Max Planck Institute & TU Dresden. Oxford Maths Institute & St John’s College, Oxford. Previously Imperial College London & Umass Amherst.
Terry Boon @terryboon.bsky.social Games & stories; maths & language; technology & risk; and thoughtful politics & law. Living in London, UK.
Views my own, not representative of employer or anyone else, & reposts and follows are not endorsements.
Also on Mastodon: @terryboon@hachyderm.io
Lindsey Henderson @flippyfeets.bsky.social I’m just here for math and cats.
cronopio @cronopiob.bsky.social Books, maths, thinking.
Error Code 864G @errorcode864g.bsky.social I like mathematics (LaPlace transforms my beloved <3), french literature, prog rock, photography, and the occasional bit of video games
Uwe @uwefr.bsky.social Math nerd (0 is a natural number)
Jackson @jjcksnn.bsky.social math phd student
<3 @shiverytiger.bsky.social <3
Raghav Malik @r4ghav.bsky.social PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
Bearendan @cohomology.bsky.social Phd candidate in math at the University of Utah 
Carles Sáez @csaezmath.bsky.social I used to do math professionally, now I learn math as a hobby. Statistician at work, geometer at heart.
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Torsten „Teggy“ Grust @teggy.org Professor — like database systems, programming languages, and SC Freiburg ツ
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Hillel is on Social Media Break @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
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
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Celeste @cahollenbeck.bsky.social Nontraditional computer science PhD candidate at the University of Edinburgh ❤️🏴
Former technical and creative writer
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Andrew K. Hirsch @akhirsch.bsky.social 
Jonathan Edwards @jonathoda.bsky.social Dissident computer scientist 
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
Stuart Presnell @logopetria.bsky.social Mathematics, CS, physics, philosophy
Most recently : Teaching logic and philosophy of mathematics in the Philosophy department at the University of Bristol
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.