Professor of Science Communication in Leiden

Studies how to do science communication well and writes about math for a general public.

Lives with Han, Rifka, Tex and their very cute cat Maui.

Posts in Dutch and English

Image: me in a blue rib velvet jumpsuit smiling next to a paper art work made by one of my kids. You can also see my cartouche necklace with the name of my mother in hieroglyphs.

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

PhD student in Mathematics at UBC. MSc from EPFL, graduated 2026. BSc from UBC, graduated 2024. This blog obeys the (-, +, +, +) metric signature. Luddite. Politically left, and occasionally gauche.

Doctorant en Mathématiques à UBC. MSc de EPFL, diplômé 2026. BSc de UBC, diplômé 2024. Ce blogue obéit la signature métrique (-, +, +, +). Luddite. De la gauche, et parfois gauche.

Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.

Applied category theorist, working on merging category theory and functional programming.
https://zanzix.github.io/

The Learned Society for Mathematicians from/in Europe

Computer Scientist, husband, father and comedian. Fuck AI

#NoBots

I'm a philomath (many interests; call it polymath-wanna-be) professional computer programmer in Silicon Valley, specializing in operating systems, languages/compilers, sometimes AI, usually non-traditional parallel software and hardware architectures.
Also:
#computer_science #unicode #unix #linux #bsd #unix_old_fart
#compilers
#operating_systems
#GOF_AI
#cognitive_science
#linguistics
#physics
#mathematics

Ex-springboard diver; scuba diver; free diver

Ars longa, vita brevis.

I'm a maths PhD student interested in homotopy theory, mathphys, and type theory, and a photographer on the side. I like hiking, poetry, arena FPS games, and I sign ASL. she/her 🏴󠁧󠁢󠁳󠁣󠁴󠁿🏳️‍🌈

trans femme mathematician | Second Year CS PhD Student at Carnegie Mellon University | Current interests include Type Theory, Univalent Mathematics, and Proof Assistant Interoperability | fighting back against my #Narcolepsy and #ADHD | she/they | finally chose a name!!! you can now find me @juli

Part-time mathematician and programmer, interested in cellular automata and a lot of other stuff.

Header picture: https://ruhr.social/@Hagukh/109848628707963930
Profile picture: https://showyourstripes.info/s/europe/germany/hamburg

#millions4earth

I'm at Parkland College (for a few decades) helping folks navigate developmental courses/placements (but fighting the "hey, 5% of these folks could pass college so we should just get rid of developmental teaching" trends) dreaming of structured paths for building understanding *and* fluency instead of "I don't have time to teach you, here's a calculator."
See https://docs.google.com/document/d/1jvTlNmNI7nC9xMrVp2cc3d5RjWnpho0exwA_t86eWbI/edit?usp=sharing

CEO Digital Science, cares about SDGs, Open Research, Research Infrastructure, and anything involving data. Theoretical physicist in spare time, visiting at Centre for Complexity Science @ Imperial College London, Dept of Physics @ Washington University in St Louis. Co-founder of RoRI. Opinions my own.

I'm a computational neuroscientist & software engineer. Colors, photos, brains, nature, science, software & chess, preferably all at the same time!

Author of The Appearance of Things: How the Principle of Relativity Shapes Our Visual World.

https://www.amazon.com/dp/B0HCVLM6T9

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

I'm a mathematical physicist who likes explaining stuff. I'm the Maxwell Fellow of Public Engagement at the School of Mathematics and the School of Physics and Astronomy at the University of Edinburgh.

Check out my blog Azimuth! I'm also a member of the n-Category Café, a group blog on math with an emphasis on category theory. I also have a YouTube channel, full of talks about math, physics and the future.

Canadian-American physics and applied computing student from Western Washington.

Working to make software understandable by all.

Zig, Rust, and Scheme enjoyer