Skip to main content

Instance directory: mathstodon.xyz

Data Strategy, Building organizations building systems, Mathematics

Director Services @ eccenca
Chair OMG Enterprise Knowledge Graph Platform Task Force

Interested in #SyntheticTheories #SymbolicCoarseGraining #SymbolicDecomposition
#DataStrategy #DataGovernance #FormalOntologies #Logics #CategoryTheory #ToposTheory #Algebra #RoadCycling

I teach math. I make art.
I make mathematical art.
I paint, sew clothes, and weave beads.
Author: Beading with Algorithms: Cellular Automata in Peyote Stitch.
SF Bay Area. My Erdős number is 3. 
Find my art and art tutorials for sale in my Etsy shop, gwenbeads. 
#MathArt #gouache #painting #math #sewing #beading #algorithms #generativeart

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

I'm a mathematician, and I like combinatorics, universal algebra, and category theory. I also write software, and I know that spreading technical literacy is critical to building a better world.

I find algebra, coalgebra, and fixpoints very cool. I wish I am better at them. Assistant professor@WPI (Worcester Polytechnic Institute) studying programming language semantics, and its applications in verification, testing, and optimization.

"We have killed epsilon with a dagger, the delta is next."

"I cannot Grothendick construction under these conditions."

Scotland-based Kiwi. Software crafter. Creative polymath and omnivore. He/him. Boost is not endorsement. Employee of Moody's, but any opinions are my own and not those of my employer.

Good at computer, kind to animals 🏳️‍🌈🏳️‍⚧️

I’m a lesbian software engineer with a PhD in PL theory. I job in industry, mainly building reliable distributed systems for privacy and data protection, but this space is for doing things with words.

Personal account, opinions mine. Follow requests welcome.

#queer #trans #nobot

Maker of maths and science inspired art and craft - mostly textiles - mostly knitting - equationcore accessories.

Likes to shuffle bits. Developer of the Egel language, see https://egel-lang.github.io/

Researching and Developing decentralised social networks using semantic web technologies and category theory based libraries in Scala(-JS).

I am a philosopher interested in computational methods in science.

Math-obsessed perpetual asker of why. Random task penguin. Life thoughts are often in haiku. (She/her).


Profile picture is a self portrait. Portrait with crows flying from head, with beach and self flying a Klein bottle kite. Beach has piano keys and ear has a möbius ring. Sky has roadway lines coming to a vanishing point with piano keys. Blues and grays.

Background picture is of a cute yellow warbler getting scritches on a lichen covered branch.

Working in topology and category theory
Professor, Ohio State at Newark

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

Mathematician, koala fan, mathstodon.xyz admin,
⅓ of https://aperiodical.com. He/him