Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Logic, 2-categories, and graded monads, but like mostly 2-categories. I made an account to look employable. Offer me a postdoc position
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Professor of Computer Science at UMass Amherst
PhD in computer science (formal methods), postdocing in computational chemistry. Schmidt Science Fellow 2023
We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences.
https://sigplan.org/AV
Every event we cover is available on YouTube:
https://youtube.com/@acmsigplan
Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Theoretical computer scientist. News junkie. Parent of teenagers.
Researcher in Theoretical Computer Science at the LIPN. #Logic and Analysis, mainly.
Pronouns : She/her
🔗 https://lipn.univ-paris13.fr/~kerjean/
Assistant Professor, MIT | Co-founder & Chair, Climate Change AI | MIT TR35, TIME100 AI | she/they
Prof Operational Research , @UCL_CORU, passionate about health care, women in STEMs, defending liberal democracy (!). Member of @independentsage, posts personal. https://www.trumpactiontracker.info/
A leading research institution in the heart of Boston. Follow us to hear about all things BU! 📧: social@bu.edu | Community Guidelines: http://spr.ly/6003HciLX
Doting grandmother, among other things.
Dad, husband, President, citizen. barackobama.com
Official keeper of The Way of the Takei & the luckiest guy in the world, because my job is to manage the career of the wonderful George Takei.
Mathematics Sorceror (sensory alchemist) at the Arctangent Transpetroglyphics Algra Laboratory (ATAL), I transflarnx mathematics into living rainbows. http://owen.maresh.info https://github.com/graveolensa
Psoeppe-Tlaxtlal, (an undreamt splendour?)
Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
Prof. of Networked Systems at UCL and AI networking at OpenAI
Delivered effective, efficient, and secure digital services for the American people until we were forced to stop on March 1, 2025. Not an official government account. Reposts are not endorsements. Our new website: https://18f.org/ #AltGov
Husband, dad, and major history geek.
Husband, Dad, Unnle. MS Computer Science (yay!). Interests: functional programming, type theory, semantics, and math(s). Repost politics. Thx @reverentgeek.com for the profile pic!
Prof CS University of Oslo
https://ebjohnsen.org
CS Professor at Northeastern University; supporter of Democracy; Jew
I work on Programming Languages at Microsoft Research
Mobilizing the fight for science and democracy, because Science is for everyone 🧪🌎
Hit the streets with us for the TAKE BACK our SCIENCE RALLY, nationwide on March 7
Learn more ⬇️
http://linktr.ee/standupforscience
Professor of HCI - IST U. Lisbon
Father of 3, Madeiran, President iti.larsys.pt
Captain bauhaus-seas.eu
Interested in sustainable interaction design, human AI interaction and anything else that makes technology for social good.
Automated reasoning @ AWS.
https://dddejan.github.io/
News and info for Ithaca, New York from 14850 Magazine, locally owned and published since 1992.
I teach math, advise math majors, and do program assessment for UW-Madison. Baker. Global traveler. Photographer. North Dakota native.
⚡️ @mitchkeller.photos
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Proud Ballymena Professor. Senior Strategic Advisor at RoRI; Emeritus Prof at Imperial. Former DORA Chair. Husband, father, carer. Also cares about science & equity. Personal a/c. Writes occasionally at http://occamstypewriter.org/scurry/.
Inequality, higher education, gender, work and organizations, open science, Alaska.
All posts are made in my personal, not professional, capacity. I do not speak for my employer.
Psychologist for the humans of tech. Author of The Psychology of Software Teams (2026). Founder: Catharsis (software strategy * science). she/her 🏳️🌈
Catharsis: https://catharsisinsight.com/
Host at: https://www.changetechnically.fyi/
Husband, dad, veteran, writer, and proud Midwesterner. 19th US Secretary of Transportation and former Mayor of South Bend.
ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Researcher of online rumors & disinformation. Former basketball player. Prof at University of Washington, HCDE. Co-founder of the UW Center for an Informed Public. Personal account: Views may not reflect those of my employer.
cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
Prof and researcher. Race, media, activism, feminism, tech and politics but not always in that order. Co-Director @miccenter.bsky.social
Preorder my latest: https://www.harpercollins.com/products/a-second-sight-sarah-j-jackson
Opinions definitely my own
Postdoc-ing @ UIUC. Working on systems reliability and efficiency. Opinions, my own. Reposts are not endorsements. Personal website: https://bastoica.github.io/
Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
I teach computer science https://cs.uchicago.edu/~timng/
Associate Professor – Department of Computer Science, Aalto University – theory of distributed & parallel computing – https://jukkasuomela.fi
Lecturer at the University of Bristol.
probabilistic ML, optimisation, interpretability, LLM evals.
The account of the interfaculty network Radboud Gender & Diversity Studies.
Committed to intersectional feminist and decolonial academia, promoting critical research and teaching on gender, race, sexuality, and dis/ability
mostly not here, but there: https://hci.social/@chrisamaphone
PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
MD Psychiatrist, Associate Professor, Neuroscientist expert in OCD, gambling and related disorders
he/him
Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia.
Interested in Programming Languages and Systems.
Assistant professor at Institut Polytechnique de Paris
https://bakirtzis.net
PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading.
they/them
Associate Professor (Education) at SMU, Singapore. Software engineering, testing, and computing education. https://cposkitt.github.io/
Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
Associate Professor at BU. Cybersecurity and Cybersafety. Come for the memes, stay for the science. Skeets are my own
trying to be christian. feminist. mormon. type theory, PLT
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/kipos
@jaredforsyth on the dead bird site
PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
boston, cats, computers? he/him
profile pic by chrisamaphone
The good stuff is at https://social.wub.site/@simrob
Associate Professor of Computer Science at Columbia University
https://www.cs.columbia.edu/~sedwards
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
PL/Systems PhD student at Cornell
ngernest.github.io
Prof @Polytechnique
Computer Science #Computationtheory#JeKiffeLesMachinesDeTuring #OrdinaryDifferentialEquations#Non-Binary (Analog) Computations
Math prof at Hofstra. Logician, fan of the laws of probability & randomness, & mathematical crafter. All opinions my own. She/her/hers.
Engineering professor. Author of HOW INFRASTRUCTURE WORKS (on Riverhead in the US+, on Torva in the UK+). Interested in embodiment, materiality, metacognition, and systems. All enthusiasm is 100% genuine.
Teaching Faculty @ Princeton University | CMU, MIT alum | reinforcement learning, AI ethics, equity and justice, baking | ADHD 💖💜💙
Prof. at the Systems Group at TU Darmstadt
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
theoretical computer sorcery and theorem potions · she/they/e
wendigotyp.es
Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭
Private account, he/him, 🌹 🇺🇦 🟣
TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
Southmayd Prof @YaleLawSch + Philosophy @Yale. Ed, @LegalTheory + Stanford Encyclopedia of Phil. “Legality”, “The Internationalists” (with @oonahathaway), “Fancy Bear Goes Phishing.” Overuses “neurosymbolic”
Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
Cornell Bowers is the new frontier of tech—moving technology, humanity, and society forward as one. bowers.cornell.edu
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
Living in Los Angeles. Native Californian. #MacFellow
Writer, professor. Comedian.
Author, “Algorithms of Oppression: How Search Engines Reinforce Racism,” which is unfortunately still relevant to understanding today’s LLMs and AI.
safiyaunoble.com
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP.
ETAPS 2026: April 11 - 16, Turin, Italy
https://etaps.org/
CS PhD student at UPenn studying strategic human-AI interaction. On the job market! Nataliecollina.com
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
https://ionathan.ch
Prof @Cornell studying: power, organizing, poverty, racism, policy (health & housing)|Author|Builder|Leader|Believer
More here: www.jamilamichener.com
Prof (CS @Stanford), Co-Director @StanfordHAI, Cofounder/CEO @theworldlabs, CoFounder @ai4allorg #AI #computervision #robotics #AI-healthcare
Dedicated to drug discovery, enthralled by science. 5 kids. She. SAB Recursion. Founder SyzOnc. Lab at Broad Institute. Opinions my own.
Neuroscientist.
Assistant Professor of Neurology at UAB
Trying for a better, more humane approach to science.
Interested in neurodegenerative diseases, AI toolsets, and science in general!
STOP ALS.
PhD student working on program synthesis. https://ziteng.wang/