Researcher with the Gallinette team at INRIA in Nantes. Interested in various scientific aspects of computing and reasoning, particularly those related to the Curry-Howard correspondence. I like lindy-hop dancing, running, and riding my e-bicycle.

Semi-professional account:
- professional opinion: posts on the topic of CS/maths unless stated otherwise
- personal (though mostly about science): boosts (≠endorsement), memes, non-public posts, posts outside of CS/maths (rare)

EN/FR

Categories, computer science and logic

Assoc. Professor @ CU Boulder Comp. Sci. & Math; Research interests: theoretical computer science, pure mathematics, and complex systems.
Member of ahmath.org AHM (Organizing Committee)
Other interests: climate change; accurate (long)COVID info; equity, inclusion, & accessibility; improving academia. #BlackLivesMatter #TransRightsAreHumanRights #LandBack #CovidIsAirborne #CleanTheAir #StillMasking #MaskUp #YallMasking #TCS #TheoryCS #math #ComplexSystems #complexity (both kinds) #academia

Ph.D. Student @ ETH Zürich, working on Rust and Separation Logic. Excited about practical applications of formal methods. Type theorist at heart.

PhD student at Aarhus Uni
Formal Verification/Probability/Concurrency
If I cant have love, I want power.

(Mostly non maths related posting)

SW Engineer, Amateur mathematician (contributed to metamath.org, oeis.org, ...), Legal Tourist (went to Honolulu in 2010 to watch the end of Sancho v. DOE).

#Math interests
• #Mathematics Foundations [dilettante]
• #Probability
• #Bayesian #Statistics
• #RealAnalysis and #NumericalComputing
• Stable distributions
• Finance and Project Management

#Astrophysics
• #Cosmology - detection of dark matter
• #Neutrino detection (SNAPPY cubesat)

he/him

I'm a programmer who was trained in physics long ago. If on Bluesky, follow @ap.brid.gy so I can see you.

Human, Swede, Father, Programmer, Recovering Mathematician, and Skeptic.
Proudly anti-to-finely-grated-carrots and part-time wizard from Sjöbo.
🔮💻✨

I'm Tom, a freelance Museum Learning Consultant who wants to help museums & galleries make more of the maths that is fundamental to the stories & objects of each & every one of them.

Author of The Mathematicians' Library

Recreationally, I'm in to #Maths, #Movies, #Music & #Books. I also run my local #MathsJam.

I'm in Milton Keynes.

#MuseumEd #GLAM-Ed #MathsInMuseums #astronomy #guitarist #fedi22 #MKMathsJam #Museums

Prof of Digital Computation at Imperial College. Director, Early Career Researcher Institute. Vice Chair Imperial College Maths School. Views own. Blog at http://constantinides.net

Professor of computational mathematics at University of Ljubljana, Slovenia.

My name is Andrew. I will begin a PhD at Jagiellonian University in October 2026. I did my M.S. in Mathematics at University of Iowa in 2023-2026, and I did my B.S. in Mathematics (CS minor) at Hobart and William Smith Colleges in 2019-2023. I've not used much social media before, so this will be quite an experiment for me.

:: Quantum|Non-linear optics
:: Encrypted|Decentralized communication
:: Functional|Natural languages
:: Dis|U topia

Duck with an unhealthy relationship with typesetting. If you're here, there's a good chance you do too.

Father of two. Set theorist. Editor at Math Reviews.

Category Theory, Semantics and Type Theory.

Mathematician, robot fan, auntie and unstoppable thingdoer from Manchester. She/her

Mathematician based in Heidelberg, Germany.
Making research math visible - how we think - what we do - how math works.
I study groups and geometric spaces, all things symmetry.
Also: coffee, art and chocolate.
- gegen Rechts, für Demokratie und Vielfalt -
(she/her)

I'm a computer scientist at the University of California, Irvine, interested in algorithms, data structures, discrete geometry, and graph theory.