Professor of computational mathematics at University of Ljubljana, Slovenia. [bridged from https://mathstodon.xyz/@andrejbauer on the fediverse by https://fed.brid.gy/ ]

Academic at Gothenburg University. Mathematician. Late millennial.

A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.

Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info

Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk. Homepage at https://anil.recoil.org

Mathematics -- Logic (math.LO) source: https://export.arxiv.org/rss/math.LO maintainer: @tmaehara.bsky.social

Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ

SF writer / computer programmer Latest novel: MORPHOTROPHIC Latest collection: SLEEP AND THE SOUL Web site: http://gregegan.net Also: @gregeganSF@mathstodon.xyz

saso-dolenc.com sasodolenc.substack.com

Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I post in fr&en.

PhD student in theoretical computer science at Eötvös Loránd University in Budapest. Mainly here to chat about TCS/math.

Mathematics and Philosophy of the Infinite Professor of Logic, University of Notre Dame University of Oxford #InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths https://buymeacoffee.com/joeldavidhamkins

Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app