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.
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
Research engineer, with an applied maths background.
Here for discussions about #mathematics, #stats, #MachineLearning, #nlp, #optimization...
Cover picture: https://landsat.gsfc.nasa.gov/your-name-in-landsat-interactive/
A mathematician working as a software engineer. Currently unemployed and looking for new job directions. Previously at Amazon, Skydance Animation, Animal Logic, DNEG, Framestore...
she/her
Mathematician, koala fan, mathstodon.xyz admin,
⅓ of https://aperiodical.com. He/him