@logicmatters.bsky.social
Recovering philosopher, but still interested in logic and abstract nonsense (and music). Occasionally blogs at logicmatters.net
@xkcd.com
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@stevenstrogatz.com
Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
@joeldavidhamkins.bsky.social
Mathematics and Philosophy of the Infinite Professor of Logic, University of Notre Dame University of Oxford #InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@mkoeppe.bsky.social
Professor, UC Davis #Mathematics. He/him. #DavisCA. Made #SageMath pip-installable @passagemath.org. https://github.com/mkoeppe #Python #OpenSource #cutgeneratingfunctionology #optimization #orms I block accounts to increase reading focus.
@keenancrane.bsky.social
Digital Geometer, Associate Professor of Computer Science & Robotics at Carnegie Mellon University. https://www.cs.cmu.edu/~kmcrane/
@teorth.bsky.social
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@visualalgebra.bsky.social
Associate Professor (Clemson) | AIMS Lecturer (South Africa) | Author: "Visual Algebra" (forthcoming) | YouTuber | First Gen | Homesteader | Dad to Ida & Felix
@basus.me
Programmer, writer, lapsed academic computer scientist. Formerly Cornell CIS & Harvard SEAS.
@shwestrick.bsky.social
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl) https://cs.nyu.edu/~shw8119/
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@ranzato.bsky.social
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@jcenzo.bsky.social
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@ai-fm-papers.bsky.social
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@harrisongoldste.in
(he/him) Postdoc at the University of Maryland I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI. Currently on the academic job market, looking for tenure-track positions! https://harrisongoldste.in
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@kasperglarsen.bsky.social
Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
@ddssff.bsky.social
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@davut.bsky.social
Professor of mathematics, amateur of philosophy. Living in Turkey/Türkiye (Ankara and Istanbul) since 2000. Impenetrable blog: polytropy.com
@richardzach.org
Logician, historian and philosopher of logic, mathematics, and computability Copied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back [bridged from https://mathstodon.xyz/@rrrichardzach on the fediverse by https://fed.brid.gy/ ]
@jacksonmorris.bsky.social
Homotopy theorist and friend https://sites.google.com/view/jacksonmorris/
@skolemizer.bsky.social
Math prof at the Universidad de los Andes (Colombia). He/him, él/lo.
@programisthefuture.com
Ω := (λx.x x) (λx.x x) To Ω and beyond! Backend developer with OCaml by day 🐫 Type theorist by night 🫣 I use Arch, (and neovim) btw 😎
@ramtop.bsky.social
Functional passionate programmer. Kotlin GDE Author, Public Speaker https://pragprog.com/titles/uboop/from-objects-to-functions/ #TDD #FP #Kotlin Living with family in a Japanese traditional house 日本語
@jonahstockwell.com
Theoretical computer science, math, art. In NYC @ Columbia University.
@totalutility.bsky.social
Philosopher, likes ethics, epistemology, uncertainty, welfare economics, category theory, climbing 🇺🇦
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@martabilkova.bsky.social
Logician, poet, occasional photographer. Words in @blackboughpoetry.bsky.social. Senior researcher at the Institute of Computer Science, Czech Academy of Sciences.
@lorenoheer.bsky.social
Scientist: PhD in mathematics. Working in hyperbolic geometry, analysis in metric spaces and mathematical physics (gravitational waves and general relativity), broad range of other scientific interests. Here mostly to connect with researchers. he/him
@pqnelson.bsky.social
Mathematician, software engineer. Obsessed with everything about proof assistants. AMS Subject Class.: 68V15, 68V20, 20Exx.
@kdayers.bsky.social
Assistant Prof of Math, CSUSM. 은혜 She/Her. Dynamics and Ergodic Theory. Podcast listener. Find me on a bike. 🏳️🌈
@simonjthompson.bsky.social
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.