Instance directory: mathstodon.xyz

He/Him
For the betterment of the tribe.
All of you, each the animal and the machine.

An impostor in this server. Not a mathematician, yet has always been fascinated about it.

- Apprentice mathematician (Professor at Université Paris Cité),
interested in algebraic geometry, number theory and (more recently) proof formalization
- Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet).
- Apprentice progressist.

In love with math, jazz, indian music and poetry. ⏚

PhD student in PL

Maths etc.

"Not everything written is important; not everything important is written."
------
Sometimes accused of actually knowing what I'm talking about. Interested in consulting opportunities; DM me for further inquiries.

A mathematician working as a software engineer. Currently unemployed and looking for new job directions. Previously at Amazon, Skydance Animation, Animal Logic, DNEG, Framestore...

Programming languages, finitely-presented monoids, horses

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

Probably the only anglophone Toby Bartels. They/them. Mathematics instructor at a community college in Nebraska. Tolstoyan ex-Catholic. 🏴🚩🏳️‍🌈🏳️‍⚧️

SW Engineer, Amateur mathematician (contributed to metamath.org, oeis.org, ...), Legal Tourist (went to Honolulu in 2010 to watch the end of Sancho v. DOE).

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

L'Etat, c'est moi

Software engineer and proof-assistant enjoyer. I did it the “particular strange way” at Princeton.

#nobots

Theoretical physicist by training (quantum open systems/quantum information), Currently paying the bills as an engineer working in free-space optical communication. I also enjoy the outdoors and learning about any area of science, philosophy, and many other academic areas as well.

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

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

Formerly mds2@arktos.social.