Fulltime freelance provider of outreach and enhancement in maths ... I talk a lot. About maths.

I talk about other stuff too, like ballroom dancing, juggling, unicycling, education, engineering, software, and "other things".

But mostly about maths.

I tend to follow back, but only if you have something in your profile.

Professor at Northwestern University, IEMS. Queuing theory! They/she. https://isaacg1.github.io.

Are you queer? Trans? Nonbinary? Think you might be? Want someone to talk with? Message me!

computer programmer. math enthusiast. Not good at chess, but desperately want a GWAR-themed fantasy chess set.

Formerly mds2@arktos.social.

Mathematician!
Junior research group leader @ DFG CRC TRR 388
Postdoc @ TU Berlin
Iterated-integrals signatures of paths
Applied Algebra / Rough Algebra / Rough Analysis
Queer everywhere and @ Starlight Excess Roller Derby Berlin

Professor of Science Communication in Leiden

Studies how to do science communication well and writes about math for a general public.

Lives with Han, Rifka, Tex and their very cute cat Maui.

Posts in Dutch and English

Image: me in a blue rib velvet jumpsuit smiling next to a paper art work made by one of my kids. You can also see my cartouche necklace with the name of my mother in hieroglyphs.

Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.

See my meta-blog:
https://cs.bham.ac.uk/~mhe/blog.html

PhD student in Mathematics at UBC. MSc from EPFL, graduated 2026. BSc from UBC, graduated 2024. This blog obeys the (-, +, +, +) metric signature. Luddite. Politically left, and occasionally gauche.

Doctorant en Mathématiques à UBC. MSc de EPFL, diplômé 2026. BSc de UBC, diplômé 2024. Ce blogue obéit la signature métrique (-, +, +, +). Luddite. De la gauche, et parfois gauche.

Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.

Applied category theorist, working on merging category theory and functional programming.
https://zanzix.github.io/

The Learned Society for Mathematicians from/in Europe

Computer Scientist, husband, father and comedian. Fuck AI

#NoBots

I'm a philomath (many interests; call it polymath-wanna-be) professional computer programmer in Silicon Valley, specializing in operating systems, languages/compilers, sometimes AI, usually non-traditional parallel software and hardware architectures.
Also:
#computer_science #unicode #unix #linux #bsd #unix_old_fart
#compilers
#operating_systems
#GOF_AI
#cognitive_science
#linguistics
#physics
#mathematics

Ex-springboard diver; scuba diver; free diver

Ars longa, vita brevis.

I'm a maths PhD student interested in homotopy theory, mathphys, and type theory, and a photographer on the side. I like hiking, poetry, arena FPS games, and I sign ASL. she/her 🏴󠁧󠁢󠁳󠁣󠁴󠁿🏳️‍🌈

trans femme mathematician | Second Year CS PhD Student at Carnegie Mellon University | Current interests include Type Theory, Univalent Mathematics, and Proof Assistant Interoperability | fighting back against my #Narcolepsy and #ADHD | she/they | finally chose a name!!! you can now find me @juli

Part-time mathematician and programmer, interested in cellular automata and a lot of other stuff.

Header picture: https://ruhr.social/@Hagukh/109848628707963930
Profile picture: https://showyourstripes.info/s/europe/germany/hamburg

#millions4earth

I'm at Parkland College (for a few decades) helping folks navigate developmental courses/placements (but fighting the "hey, 5% of these folks could pass college so we should just get rid of developmental teaching" trends) dreaming of structured paths for building understanding *and* fluency instead of "I don't have time to teach you, here's a calculator."
See https://docs.google.com/document/d/1jvTlNmNI7nC9xMrVp2cc3d5RjWnpho0exwA_t86eWbI/edit?usp=sharing

CEO Digital Science, cares about SDGs, Open Research, Research Infrastructure, and anything involving data. Theoretical physicist in spare time, visiting at Centre for Complexity Science @ Imperial College London, Dept of Physics @ Washington University in St Louis. Co-founder of RoRI. Opinions my own.