ECOOP '26 @ecoop-conference.bsky.social ECOOP is Europe’s longest-standing annual Programming Languages conference!
The 2026 edition is hosted at Vrije Universiteit Brussel, Brussels, Belgium from June 29th to July 3rd. See you there!
#ECOOP #ECOOP26
https://2026.ecoop.org
@arthur-ionescu.bsky.social @arthur-ionescu.bsky.social Researchgate profile: https://www.researchgate.net/profile/Arthur-Ionescu/research
Philpapers profile: https://philpeople.org/profiles/arthur-ionescu
Mastodon profile: https://mastodon.social/@ArthurI
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan ❦ thomasporter522.github.io
norinecoenen.bsky.social @norinecoenen.bsky.social 
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Aaron Eline @aaroneline.bsky.social 
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
@fvramos.bsky.social @fvramos.bsky.social 
Shlomo Zilberstein @shlomozilberstein.bsky.social Professor of Computer Science at UMass Amherst
Yotam Feldman @yotamfe.bsky.social PhD in computer science (formal methods), postdocing in computational chemistry. Schmidt Science Fellow 2023
SIGPLAN AV @sigplan-av.bsky.social 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
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Fellow @royalsociety.org.
Theoretical computer scientist. News junkie. Parent of teenagers.
@rtjoa.bsky.social @rtjoa.bsky.social 
Marie Kerjean @mariekerjean.bsky.social Researcher in Theoretical Computer Science at the LIPN. #Logic and Analysis, mainly.
Pronouns : She/her
🔗 https://lipn.univ-paris13.fr/~kerjean/
FLoC 2026 @floc2026.bsky.social 
Priya L. Donti @priyald17.bsky.social Assistant Professor, MIT | Co-founder & Chair, Climate Change AI | MIT TR35, TIME100 AI | she/they
Prof Christina Pagel @chrischirp.bsky.social Prof Operational Research , @UCL_CORU, passionate about health care, women in STEMs, defending liberal democracy (!). Member of @independentsage, posts personal. https://www.trumpactiontracker.info/
Neal Parikh @nparikh.org https://nparikh.org
Boston University @bostonu.bsky.social 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
Hillary Rodham Clinton @hillaryclinton.bsky.social Doting grandmother, among other things.
Barack Obama @barackobama.bsky.social Dad, husband, President, citizen. barackobamabooks.com
Brad Takei @bradtakei.bsky.social 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.
Owen Maresh @graveolens.bsky.social 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,
Psoepbe-Tlaxtlal; (an undreamt splendour?)
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
Mark Handley @markjhandley.bsky.social Prof. of Networked Systems at UCL and AI networking at OpenAI
Alt18F @alt18f.bsky.social 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
Ana Matos @agualma.bsky.social 
Rob @hubby2sewistwrites.bsky.social Husband, dad, and major history geek.
four seasons joe (not the hotel) @alacqua.bsky.social 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!
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
Mitch Wand @mitchwand.bsky.social CS Professor at Northeastern University; supporter of Democracy; Jew
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Stand Up for Science! @standupforscience.net We mobilize the fight for science and democracy - because science is for everyone! 🧬🧪🌎
Donate here: https://bit.ly/SUFS_GIVING
Learn more ⬇️
https://linktr.ee/standupforscience_bluesky
Nuno Jardim Nunes @nunojnunes.bsky.social 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. - D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
14850 Magazine @14850.com News and info for Ithaca, New York from 14850 Magazine, locally owned and published since 1992. 
Mitch Keller @mitchkeller.phd I teach math, advise math majors, and do program assessment for UW-Madison. Baker. Global traveler. Photographer. North Dakota native.
⚡️ @mitchkeller.photos
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
girl fieri @laureneahmed.bsky.social wop genius
Stephen Curry @scurry.bsky.social Proud Ballymena Professor. Senior Strategic Advisor at RoRI; Emeritus Prof at Imperial. Former DORA Chair. Husband, father, carer - 24/7. Also cares about science & equity. Personal a/c. Writes occasionally at http://occamstypewriter.org/scurry/.
Kim Weeden @weedenkim.bsky.social 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.
Cat Hicks @grimalkina.bsky.social Author of The Psychology of Software Teams: https://www.drcathicks.com/#book
Applied behavioral science in complex technical systems
she/her 🏳️🌈
Catharsis: https://catharsisinsight.com/
Host at: https://www.changetechnically.fyi/
Pete Buttigieg @petebuttigieg.bsky.social Husband, dad, veteran, writer, and proud Midwesterner. 19th US Secretary of Transportation and former Mayor of South Bend.
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Kate Starbird @katestarbird.bsky.social 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.
Sabine Oechsner @proofnerd.bsky.social cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
Sarah J. Jackson @sjjphd.bsky.social Prof @ Penn studying media, race, tech, feminism, politics.
Author of A SECOND SIGHT (Mariner, 2026), co-author #HASHTAGACTIVISM (MIT Press, 2020) + more.
Typos and opinions both mine.
Co‑Director: @miccenter.bsky.social
Bogdan "Bo" Stoica @cachemisses.bsky.social Postdoc-ing @ UIUC. Working on systems reliability and efficiency. Opinions, my own. Reposts are not endorsements. Personal website: https://bastoica.github.io/
Joanna C S Santos @joannacss.bsky.social Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social 
Olivier @oliviersb.bsky.social 
Tim Ng @timng.bsky.social I teach computer science https://cs.uchicago.edu/~timng/
Jukka Suomela @jukkasuomela.fi Professor – Department of Computer Science, Aalto University – theory of distributed & parallel computing – https://jukkasuomela.fi- L Laurence Aitchison @laurenceai.bsky.social Lecturer at the University of Bristol.
probabilistic ML, optimisation, interpretability, LLM evals.
Radboud Gender & Diversity Studies @radboudgender.bsky.social 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
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
PLDI @sigplan-pldi.bsky.social 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.
Pedro Morgado @pedromorgado.bsky.social MD Psychiatrist, Associate Professor, Neuroscientist expert in OCD, gambling and related disorders
he/him
Artem Pelenitsyn @pelenitsyn.top Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia. https://a.pelenitsyn.top/
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. - B . - @bakirtzisg.bsky.social https://bakirtzis.net
CF Bolz-Tereick @cfbolz.bsky.social 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
Chris Poskitt @chrisposkitt.bsky.social Associate Professor (Education) at SMU, Singapore. Software engineering, testing, and computing education. https://cposkitt.github.io/
Dan Marsden @stringdiagram.bsky.social Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
Gianluca Stringhini @gianlucastringhini.com Associate Professor at BU. Cybersecurity and Cybersafety. Come for the memes, stay for the science. Skeets are my own
Jared Forsyth @jaredforsyth.com 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
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
Rob Simmons @simrob.com boston, cats, computers? he/him
profile pic by chrisamaphone
The good stuff is at https://social.wub.site/@simrob
Stephen Edwards @stephen-edwards.bsky.social Associate Professor of Computer Science at Columbia University
https://www.cs.columbia.edu/~sedwards
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Olivier Bournez @bournez.bsky.social Prof @Polytechnique
Computer Science #Computationtheory#JeKiffeLesMachinesDeTuring #OrdinaryDifferentialEquations#Non-Binary (Analog) Computations
Johanna Franklin @johannamath.bsky.social Math prof at Hofstra. Logician, fan of the laws of probability & randomness, & mathematical crafter. All opinions my own. She/her/hers.
Deb Chachra @debcha.bsky.social 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. debcha.org
Victoria Dean (she/they) @vdean.bsky.social Teaching Faculty @ Princeton University | CMU, MIT alum | reinforcement learning, AI ethics, equity and justice, baking | ADHD 💖💜💙
Zsolt István @zistvan.bsky.social Prof. at the Systems Group at TU Darmstadt
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
elisabeth lemma ☔ @wendigotypes.bsky.social theoretical computer sorcery and theorem potions · she/they/e
phantomtyp.es
Johannes Borgström @joborgs.bsky.social 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, 🌹 🇺🇦 🟣
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
Scott Shapiro @scottjshapiro.bsky.social Southmayd Prof @YaleLawSch + Philosophy @Yale. Ed, @LegalTheory + Stanford Encyclopedia of Phil. “Legality”, “The Internationalists” (with @oonahathaway), “Fancy Bear Goes Phishing.” Overuses “neurosymbolic”
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
Ian Stark @ian.stark.scot 
Cornell Bowers Computing and Information Science @cornellbowers.bsky.social Cornell Bowers is the new frontier of tech—moving technology, humanity, and society forward as one. bowers.cornell.edu
Achim D. Brucker @adbrucker.bsky.social 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
Jeff Dean @jeffdean.bsky.social Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
Safiya Umoja Noble, PhD @safiyanoble.bsky.social 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
ETAPS conferences @etapsconf.bsky.social ETAPS International Joint Conferences On Theory & Practice Of Software. The ETAPS conferences are ESOP, FoSSaCS, iFS, and TACAS.
ETAPS 2027: April 10–15, Copenhagen, Denmark
https://etaps.org
Natalie Collina @ncollina.bsky.social CS PhD student at UPenn studying strategic human-AI interaction. Nataliecollina.com
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Edwin Brady @edwin.type-driven.org.uk 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/
ionchy @ionchy.ca 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- N @niki-vazou.bsky.social @niki-vazou.bsky.social
Jamila Michener @povertyscholar.bsky.social Professor @Cornell studying: people power, organizing, poverty, racism, policy (health & housing)|Builder|Leader|Believer
More here: www.jamilamichener.com