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
she/her
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.
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