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

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

mathematician specialising in graph theory

Assume any of my comments has a sarcasm/snark tag - I'm a survivor of the 1980s Usenet Flame Wars.
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)

"mathematician" | Topos Institute, Oxford

interested in algebraic and logical methods in computer science, Lecturer at the University of Exeter