In order of time spent: sleeping, raising an 8 year old, automated reasoning, mathematics, running when not injured, cycling when injured, drawing, making photographs

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

Retired from software {Google, Yahoo, start-ups, IBM, BNR}; sometime bicyclist, sailor, & non-gardener; easily amused by PL design and type inferencing.
Los Altos, California (previously Tokyo, Osaka, Toronto, Ottawa, Victoria, Vancouver)

I am an ordinary man,

so I am unique up to isomorphism.


I am on MATHStodon to learn from others,

and to share what little I may know.


JD ⊥ MSCS Ω BSEE

Washington, DC

I'm a mathematician at the University of Western Ontario. I'm interested in homotopy theory, higher categories, homotopy type theory, and many other things.

Mathematician

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

They sentenced me to 20 yrs. of boredom... It seems that I have to speak with my own opinion. Lapsed physicist.
Interested in Physics, Maths, Computing and the intersections.
Languages: 🇪🇸 🇫🇷 🇬🇧
#NFP

Mathematician (32V40)

some searchable posts are joint work with Pedro the #Math Cat (58K35)

personal account: views expressed or boosted here are not those of my department or employer or professional organization or funding agency.

I teach maths at university in the UK — including modelling, combinatorics, game theory, history, programming — and research university-level mathematics education practice. And I play maths with my son.

I edit @aperiodical with @christianp & @stecks, co-host podcast Mathematical Objects, volunteer for the Institute of Mathematics & its Applications, and do various other things.

I'm part of the Finite Group. Join us!

#academia #highered #math #maths #mathematics #education #university

I use #gametheory and mathematical #modeling to inform science based policy. I study the economics of emerging infectious diseases, climate economics, and the energy transition. Last, I use game theory to understand symbiotic relationships in #ecology. My Erdos number is 4. 🇪🇺

Web: https://sites.google.com/view/ted-loch-temzelides
ORCID: https://orcid.org/0000-0001-8339-6722

Distracted from my responsibilities
-----
只是在这里摸鱼

Head of QuantumSoftware @ Quantinuum

Author, illustrator, designer and programmer: #origami, #MathArt, #tiling, education and more

Computational Math and Physics, AI4Science, FP, quirky things.

#SciML, #Python, #Julia, #DeepLearning, #Arduino

I am a mathematician interested in all things #Analysis real and complex. In particular #PDE in the tradition of Hörmander.

Work at Mathematisches Institut Göttingen.

Human Bean

I'm a data scientist and physicist who likes dabbling with new ideas for #artificialintelligence 🤖 and #quantumgravity Ψ. Occasionally, I join programming game competitions 🚀 . I am curious about mathematical concepts or novel ideas in general.

#quantum #quantumphysics #science #physics #mathematics #fedi22

Once a category theorist/logician | R&D @ https://20squares.com

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