Chief Scientist @ Quantinuum
Ex Professor @ Oxford University (CS)
Emeritus Professor @ Wolfson College (Ox)
Distinguished Visiting Research Chair @ Perimeter Institute
Composer/musician @ Black Tish

PhD student in homotopy type theory at the University of Gothenburg

Math-based art from Spain. For purchases or licencing please get in touch. All images © by me. Only for human use.

effort + coffee = software

Físico, informático, doctor en matemáticas, profesor de la Universidad de Málaga (España) y divulgador científico en mi blog https://francis.naukas.com/ (y en otros medios)

PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory

zbMATH Open is the world’s most comprehensive and longest-running reviewing service in mathematics, edited by the European Mathematical Society @EuroMathSoc, the Heidelberg Academy of Sciences and Humanities, and FIZ Karlsruhe.

Mujer, matemática, casada, con hijos, feliz :D

Ah, y #moloinfinito 😉

A French researcher in quantum information, expressing his own views.
A few old toots at https://qubit-social.xyz/@fgrosshans

Assistant professor (tenure track) at the Computer Graphics and Visualization Group of TU Delft, working in the field of mathematical geometry processing, #dataviz, and #mathart. (he/him)

Big MathsJam is the annual UK MathsJam Gathering - an opportunity to meet other maths fans and share puzzles, games and interesting problems. November 22nd-23rd 2025

Math.s visualisations, Geometry, #MathGIF, #MathArt, Tilings, #GeoGebra ambassador, co-author of #GeometrySnacks, #mathpuzzle Juggler 🤹

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

I'm interested in Computer Graphics, Geometry, Mathematics and Physics. I have worked in Games Development, Animation Development, and now in Robotics Development, I guess that makes me a developer.
Vous pouvez me parler dans n'importe quelle langue, c'est assez facile à traduire en ligne si je ne le connais pas.

I am a philosopher interested in computational methods in science.

Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.

I like computers