Bridget Kromhout @bridgetkromhout.bsky.social Cloud native open source at Azure. She/her. Likes snow, bicycles, and @joelaha.bsky.social.
Matthew Borus @matthewborus.bsky.social Sociologist, social work faculty
Posting topics include community, disability, social welfare, Chicago, social movements, organizing, policy, the state, labor, coffee, and various nerdy side trips. Personal account
Fernanda Graciolli @heyyfernanda.bsky.social AI + Formal Verification. Cofounder @ Midspiral. I build tools that make sure your AI-generated code doesn't break the Internet. She/Her.
Luca 🤓 @lucadistefano.eu Postdoc at TU Wien Informatics • Opinions my own • Standing in the wind
Antithesis @antithesis.com Bug nerds 🐛 🐞 🐜
You hate testing. You'll love us.
https://antithesis.com/
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
Bhargav Kulkarni @bhargavkk.tngl.sh PhD Student @ University of Utah
probably Gamin'
vaibhav sagar @vaibhavsagar.com future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
Ian Coldwater 🧊🚫 @lookitup.baby Kubernetes SIG Security Co-Chair, goose in the mainframe. Minneapolis. They/them. Stay punk 🏴
MSP feed info: https://bsky.app/profile/amityf.bsky.social/post/3mrv36uo4pc2a
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
Max @bernsteinbear.com Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Daniel Rosenwasser @danr.bsky.social TypeScript Product Manager and TC39 rep working on JavaScript standards.
Enthusiast of compilers, dev tools, language VMs/runtimes.
Clément Canonne @ccanonne.github.io Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
curche @curche.xyz PLT/FM, FOSS, Weeb in no specific order
"Very Computer" problems, Goes off on tangents while replying
Eyal Ronen @eyalr0.bsky.social Researching applied cryptography and security. School of Computer Science at Tel Aviv University.
https://eyalro.net
Andrew Head @andrewhead.bsky.social Assistant prof at Penn. Designing interactions to make code, formulas, medical notes, and mechanized proofs more readable.
Read about my group's work at https://andrewhead.info
Lidiany Cerqueira, PhD @lidianycs.bsky.social Senior Software Engineer | PhD in Computer Science. I often post in English, but I'm Brazilian, so I will occasionally post in Portuguese as well.
🔗 https://lidianycs.site/
Saurabh Singh Rajput @sauftwarebug.bsky.social I like my Tea and AI, Green🌱,
PhD Candidate @DalhousieU,
NIT Nagpur CS'20, ex @FidelityInvestments
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
Rafael Ferreira @rff.bsky.social 
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
Mahmood Sharif @mahmoods01.bsky.social S&P researcher. SCS@TAU.
Amanda @amanda.systems I’m usually on @amanda@social.spejset.org (Mastodon).
PhD student of programming languages working on the Polonius borrow checker for Rust. Terrible philosopher. Mid Marxist. Technically a librarian.
Oshrat Ayalon @oshrata.bsky.social 
Mikhail Barash @mikbar.bsky.social Programming Language Specification and Standardization. Professor at University of Bergen, Norway. TC39 Delegate. Co-convener of TC39-TG5. Ecma International Executive Committee member. Opinions are my own.
Yuriy Brun @yuriybrun.bsky.social Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
Amir Vaxman @amirvaxman-dgp.bsky.social Geometry processor, discrete differentiator of geometry, mesher, directional fielder, finite elementor, and reconstructor. Reader (Associate professor) @ School of Informatics @ University of Edinburgh
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
Solal Pirelli @solalpirelli.bsky.social Scala compiler engineer @ EPFL. Scientific integrity, and random rants. Previously: PhD in automated software verification.
Marco Z @ocramz.bsky.social ML, λ • language and the machines that understand it • building trellis.unfoldml.com • https://ocramz.github.io
Samir Rashid @godsped.com i love my computer
Tomas Petricek @tomasp.net Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
Yash @narratingtovoid.bsky.social PHD Student in Computer Architecture @PHDCSE
A Huge Literature nerd , and a writer
Occasionally can be found sitting at the cafe writing or reading book
Priyanka Verma @priyankav.bsky.social Doctoral Candidate at University of Toronto | Cooperatives, Financial Inclusion Technologies, Fair and Participatory Algorithm Design
@hannelita.bsky.social @hannelita.bsky.social 
Ari Ofsevit @ofsevit.bsky.social Snack motivated.
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Matthew Kay @mjskay.com Assoc Prof Computer Science and Communication Studies at Northwestern. Infovis, HCI. Author of tidybayes & ggdist R pkgs. he/him. 🏳️🌈 https://mjskay.com/
Co-director https://mucollective.northwestern.edu
Co-founder https://journalovi.org
Michael Schröder @schrototo.bsky.social PhD student at TU Wien.
mcschroeder.github.io
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
Gabriel Sherman @gabriel-sherman.bsky.social Ph.D. Student at the University of Utah | Computer Security
https://gabe-sherman.github.io/
Keheliya Gallaba @keheliya.github.io ❤️ developer tools + empirical software engineering + programming languages. Pronouns: he/him. #MTL #YVR #LKA 🇱🇰🇨🇦 keheliya.github.io
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
Vaishnavi S @vaishs.bsky.social Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
Gokul Rajiv @gok99.bsky.social (recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
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
Angela Collier @acollierastro.bsky.social Theoretical Physicist.
(She/her/hers)
From Eastern KY.
Patrick @patlafon.bsky.social 
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Elena Glassman @elglassman.bsky.social Assistant Professor @ Harvard SEAS specializing in human-computer and human-AI interaction. Also interested in visualization, digital humanities, urban design.
Daniel Amyot @danielamyot.bsky.social Software Engineering Professor, and Director of the Online Master of Digital Transformation and Innovation, University of Ottawa. Loves his family, Requirements Engineering / Modelling, Process Mining, soccer, teaching, and good craft beer.
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/
Raghav Malik @r4ghav.bsky.social PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
Roberto Verdecchia @robertoverdecchia.bsky.social Assistant Professor in Software Engineering. University of Florence, Italy.
Empirical Research, Software Architecture, Technical Debt, Green Software, Software Testing, Life, the Universe, and Everything.
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.
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
Cody Rivera @codyjrivera.bsky.social Ph.D. Student doing verification research, specializing in concurrent and systems code.
(he/him)
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
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
Jürgen Cito @citostyle.bsky.social CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
IntelliJ IDEA, a JetBrains IDE @intellijidea.com IntelliJ IDEA – the Leading IDE for Professional Development in Java and Kotlin, by @jetbrains.com
Tips: #IntelliJIDEATips
New Features: #NewInIntelliJIDEA
Our YouTube channel: http://jb.gg/video
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
Ignacio Ballesteros @ignacioballesteros.es Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid- N @niki-vazou.bsky.social @niki-vazou.bsky.social
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Ziteng Wang @zetten.bsky.social PhD student working on program synthesis. https://ziteng.wang/
Ned Summers @nedsummers.bsky.social computer scientist/mathematician at the University of Oxford amongst other things
Berlin-based | he/him
Mihai Maruseac @mihai.page Building AGI with Privacy and Security at OpenAI.
Previously: ML Supply chain security @ Google OSS Security Team (model signing, GUAC).
Previously: TensorFlow Security & OSS (@ Google)
Previously: Haskell+differential privacy+ML @ LeapYear
Pierce Darragh @pdarragh.bsky.social he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
@jhemann.bsky.social @jhemann.bsky.social 
Ayaan Kazerouni @ayaankazerouni.org I teach computer science at Cal Poly. I mostly post about research in computing education.
https://ayaankazerouni.org
@ztatlock.bsky.social @ztatlock.bsky.social 
andrew! @ancheung.bsky.social he/him
i study programming languages @ ucsd cse.
trans rights forever! 🏳️⚧️
ninehusky.github.io
Guilherme Espada @guipsp.bsky.social PhD Student at the University of Lisbon
Working on Static Resource Analysis and Probabilistic Programming
Mastadon: @GUIpsp@types.pl
Dorothy is my bestie
Jocelyn Simmonds @jsimmond.bsky.social Associate prof. at the University of Chile, interested in MDE, SW product lines, and computer science education .. feminist and Latinity co-founder
https://users.dcc.uchile.cl/~jsimmond/
Sven Apel @svenapel.bsky.social Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
Bogdan Vasilescu @vasilescu.bsky.social I shorten academic research papers to fit in 10 pages for a living, at CMU.
https://www.instagram.com/count_scratchula
http://bvasiles.github.io
Caroline Lemieux @cestlemieux.bsky.social now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
Adolfo Neto @adolfoneto.elixiremfoco.com Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Ethan Cecchetti @ethancecchetti.bsky.social Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist
Mastodon: discuss.systems/@EthanCecchetti
Web: cecchetti.sites.cs.wisc.edu
Kristin @wiredaemon.bsky.social Formal Methods, Programming languages, Specifications.
discord: wiredaemon
she / her 🏳️⚧️
Moritz Schloegel @mu00d8.bsky.social Faculty @CISPA Helmholtz Center doing software security, program analysis, and fuzzing
Previously at SEFCOM lab @ASU and @RUB
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Josh Sunshine @joshsunshine.bsky.social Assistant Professor at Carnegie Mellon. I help people understand the software they create. 
Priyan Vaithilingam @priyan.info ML Research Scientist @ Apple | Human-centered AI Researcher
International Conference on Software Engineering @icseconf.bsky.social The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Jenna DiVincenzo @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
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Carolina Carreira @carolinacarreira.bsky.social PhD Student in CMU in Societal Computing