Skip to main content

Instance directory: mathstodon.xyz

Theoretical physicist.
Postdoc at the Mathematical Institute, University of Oxford.
I work with Feynman graphs, combinatorics of power series, resurgence theory, and do a lot of C++ programming.
My goal is to understand the physical properties of renormalized Green functions in quantum field theory.
Has anyone seen an instanton around here lately?
#quantum #physics
#math

maths visualisations and conversational AI

Numbers and shapes at Reed College. Mathematician, parent, spouse, runner, 𝔣𝔯𝔞𝔨𝔱𝔲𝔯 enthusiast. He or they.

Electrical Engineer. PhD. Pie maker.

I do some RF engineering and plasma physics, but I mostly post about crafting projects, baking, and silly math jokes.

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

✨ Sharing stories of women in mathematics in all walks of life #hermathsstory
Check out the inspiring stories 👉 https://hermathsstory.eu

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

Tentatively mathematician at Universidad Nacional de Colombia and full time procastinator. Roman borned European.
Toots in EN/ES/IT #fedi22

Magical girly tomboy ✨🧚‍♀️
Likes games 🧩🎮🎲♟️
Likes stories 📚🦄🦋
Studied mathematical logic 👒
Maintaining QEMU at Proxmox 🐧‍🪠👩‍🔧
Fionaä, princess of bugs 🪲

CCC Wien 👾
Chaos macht Schule 👩‍🏫
Haecksen 🧙‍♀️
Feminist Linux Meetup Vienna 🐧
Queerconnexion 🏳️‍🌈👩‍🏫
FSFE Team Austria 🇦🇹✨💚🩵💙

Actually pretty shy 🙈
Always trying, failing, learning 👩‍🎓
Sunny with occasional rain ☀️🌈🌧️

Languages: 🇦🇹🇬🇧🇮🇹
Learning: 🇯🇵🇨🇵

Follow requests welcome ☺️
tfr

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

My interests, in no particular order: physics, programming, music (particularly the weird kind), left-leaning politics. Georgia Tech OMSCS alumni.

I wear a few hats:

- Software engineer @ Minimum, building carbon accounting software for enterprises;
- IT coordinator @ Možemo!, the green-left party of Croatia;
- Trying to be an all-around curious person & a decent comrade.

Working in IT (often highly numerical projects, consulting) for 20+ years - PhD in particle #physics in 2001 [Durham, UK], MPhys [Merton, #Oxford] 1994-8, Eton [MTP] 1989-94. Member of #IOP

I'm Tom, a freelance Museum Learning Consultant who wants to help museums & galleries make more of the maths that is fundamental to the stories & objects of each & every one of them.

Recreationally, I'm in to #Maths, #Movies, #Music & #Books. I also run my local #MathsJam.

I'm in Milton Keynes.

#MuseumEd #GLAM-Ed #MathsInMuseums #astronomy #guitarist #fedi22 #MKMathsJam #Museums

Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.

I'm a mathematics teaching professor in Seattle. I taught discrete modeling for a bunch of years, but I'll be teaching intro to proofs and real analysis in the coming year. I spend a lot of time making sound and visual art, often algorithmically. I worry a lot. I try to cycle a lot.

Retired software engineer/web developer