José A. Alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
@xkcd.com
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@shauryasisodia.bsky.social
Pure, lazy and immutable. Typescript | Scheme | Rust | Haskell | OCaml
@MartinEscardo.mathstodon.xyz.ap.brid.gy
Professor at the University of Birmingham, UK. I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory […] [bridged from https://mathstodon.xyz/@MartinEscardo on the fediverse by https://fed.brid.gy/ ]
@polyroly.bsky.social
CS PhD student @ UC Santa Barbara, doing program synthesis and verification https://junrui-liu.github.io/
@de-Jong-Tom.mathstodon.xyz.ap.brid.gy
Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner. [bridged from https://mathstodon.xyz/@de_Jong_Tom on the fediverse by https://fed.brid.gy/ ]
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@anupamg.bsky.social
Professor, Computer Science, New York University. Interested in Algorithms.
@moyix.net
AI researcher at XBOW, Associate Professor @ NYU Tandon (on leave). Security, RE, ML. PGP http://keybase.io/moyix/ Founder of the MESS Lab: http://messlab.moyix.net
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@jasoneramirez.bsky.social
@doloresromerom.bsky.social
Professor in Operations Research at Copenhagen Business School. In ❤️ with Sevilla and its Real Betis Balompié.
@vanesaguerrero.bsky.social
@imus-us.bsky.social
Cuenta oficial del Instituto de Matemáticas de la Universidad de Sevilla. Actividades, noticias de #matemáticas y de divulgación. 🔗https://www.imus.us.es/ 📍Sevilla, España
@miguelolalla.bsky.social
Matemático, profe de Álgebra. Malagueño pero sevillano (y viceversa). Correonista y bético
@se4fp.bsky.social
1st Workshop on Software Engineering for Functional Programming (SE4FP) In 2025, SE4FP is co-located with the @cbsoft.bsky.social Website: https://se4fp.github.io/2025/
@sranu.bsky.social
I live at the intersection. Interested in software correctness, functional programming and distributed systems. By day a lot of TypeScript with Effect.ts on Node.js. By night Rust or Haskell. Opinions are my own.
@javierfpanadero.bsky.social
Profesor, escritor, divulgador, conferenciante y uno más. lacienciaparatodos.wordpress.com
@guyvdb.bsky.social
🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/
@pascalhitzler.bsky.social
Kansas State University. Neurosymbolic AI, Knowledge Graphs, Ontologies, Semantic Web. My opinions are my own. https://people.cs.ksu.edu/~hitzler/
@the-heruman.bsky.social
Profe de informática (Instituto Valenciano de Investigación en Inteligencia Artificial, UPV) pero también me entusiasma la fotografía –las fotos son mías salvo que indique lo contrario–, las pelis (especialmente ciencia ficción), la política (zurdo), etc.
@thunderseethe.dev
@philosophy1.bsky.social
Readings in: Neuroethics, Social Ontology, Cognitive Anthropology (to decode the architecture of human reality) AOS: Mathematical logic, Metalogic, Epistemic logic, Conceptual Engineering, Connectionism, Scientific Explanation, Modality.
@rafalosada.bsky.social
Siempre aprendiendo... con #GeoGebra: geogebra.org/u/rafael ∈ (geogebra.es ∪ geogebra.org/u/g4d ∪ geogebra.es/gauss ∪ reddit.com/r/geogebra). ¬{(rac ∨ clas ∨ fasc ∨ mach ∨ colonial ∨ negacion ∨ terraplan) +ista} I'm WOKE (and proud of it 💚)
@mirimiricruz.bsky.social
Hello there! Profesora de Matemáticas • Enseñar es ayudar a aprender • 'Somos lo que ellos alcanzan, esa es la verdadera carga de todos los maestros'
@delematesus.bsky.social
Somos la Dele de Alumnos de @matematicasus.bsky.social. Estamos para ayudaros, representaros y pasaros info de interés 🤗 ✉️ delegacion_matematicas@us.es 📞 954 55 79 23
@martin-olallajm.bsky.social
Thinking out of the box on seasonal daylight saving time. It is latitude. https://zenodo.org/communities/dst/records?q=&l=list&p=1&s=10&sort=publication-desc
@anima-anandkumar.bsky.social
AI Pioneer, AI+Science, Professor at Caltech, Former Senior Director of AI at NVIDIA, Former Principal Scientist at AWS AI.
@vishallama.bsky.social
Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, philosophy, linguistics, literature, buddhism, running (5k), and more.
@turing-full-kettle.bsky.social
program analysis, software verification, software model checking. ru/en
@heidihoward.bsky.social
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@adammarblestone.bsky.social
Technologist, scientist. Co-founder of Convergent Research.
@patrickshafto.bsky.social
Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll. Math! Machine learning! Cognitive Science!
@highergeometer.mathstodon.xyz.ap.brid.gy
rimcræftiga | bespoke constructions in categorified geometry since 2010 | dude [bridged from https://mathstodon.xyz/@highergeometer on the fediverse by https://fed.brid.gy/ ]
@mitmath.bsky.social
The Department of Mathematics at MIT is a world leader in pure and applied mathematical research and education.
@fieldsinstitute.bsky.social
At the Fields Institute, mathematics research, innovation and education flourish. We foster an inclusive, equitable and collaborative culture where everyone can discover mathematics, and where mathematicians can make meaningful contributions to the world.