El Benjas @benjas.bsky.social Meditador de vipassana
Aaron Eline @aaroneline.bsky.social 
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. ‘Anarchist’ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
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
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Jeremiah Darais @jdarais.bsky.social Software engineer in the bay area. Mostly here for the art. Also on Mastodon.
Mastodon: https://sfba.social/@jdarais (bridged to bsky on @jdarais.sfba.social.ap.brid.gy)
Nicholas Yang @nicholasyang.bsky.social Programmer, obsessive cook, film nerd
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
Galois @galoisinc.bsky.social galois.com
For nearly 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.
Sam Lindley @reifyreflect.bsky.social 
Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language
Jon Gjengset @jonhoo.eu Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. @jonhoo elsewhere. he/him/they
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk- H Harold Carr @hcarr.bsky.social https://haroldcarr.bandcamp.com/
Differential Privacy Papers @dppapers.bsky.social 🤖
new arXiv preprints mentioning "differential privacy" or "differentially private" in the title/abstract
- unrelated quantum/FL papers
+ updates from https://differentialprivacy.org
[Under construction.]
Yuriy Brun @yuriybrun.bsky.social Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Randall Munroe @xkcd.com 
Jonathan Edwards @jonathoda.bsky.social Dissident computer scientist 
Jan Midtgaard @janmidtgaard.bsky.social Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Phil Nguyen @pcn0112.bsky.social Likely just stalking people for doomscrolling content, and posting 😺s
julesh @julesh.mathstodon.xyz.ap.brid.gy Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
Ignacio Ballesteros @ignacioballesteros.es Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Jocelyn Chen @jqchen.bsky.social 
Jay 🦋 @jay.bsky.team Founder & Chief Innovation Officer @ Bluesky
Working on @attie.ai
🌱 🪴 🌳
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
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.
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Stephanie Weirich @fancytypes.bsky.social Tell me about types
june wunder @junewunder.com Programming languages/Type theory PhD Candidate at BU. Graduating December 2026, looking for work for March 2027. I make type systems for reactive and asynchronous systems. https://www.junewunder.com
Prof Christelle Vincent @xl772.bsky.social Math, cryptography, justice. No alt text = no engagement. Cis het white woman, québécoise, Canadian American, tired.
Profile pic: Free Link on orange background; banner pic: masked white woman giving a talk entitled “Introduction to cryptography”
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
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, 🌹 🇺🇦 🟣
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Naums Mogers @naumsmogers.bsky.social Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Gabriela Araujo Britto @gabritto.bsky.social 
Douglas Creager @dcreager.net Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro.
This is a 9 planet family, kids! ♇
🌐 https://dcreager.net/
🧭 Massachusetts- N @niki-vazou.bsky.social @niki-vazou.bsky.social
Anders Møller @andersmoeller.bsky.social Professor at Aarhus University
https://cs.au.dk/~amoeller
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
🇨🇦 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.
Jim Fowler @kisonecat.com associate professor in mathematics
at The Ohio State University
he/him
https://youtube.com/kisonecat
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
Harry Goldstein @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
Kristin @wiredaemon.bsky.social Formal Methods, Programming languages, Specifications.
discord: wiredaemon
she / her 🏳️⚧️
José F. Morales @notjfmc.bsky.social I work on http://github.com/ciao-lang/ciao, a modern Prolog system.
You can also find me on http://mastodon.social/@jfmc
IMDEA Software Institute & UPM
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
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@julesjacobs.bsky.social @julesjacobs.bsky.social 
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.
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Steve Goguen @sgoguen.bsky.social PLT LARPer and formalism fanboy
Vicki @vickiboykis.com Founding list[float] engineer. Recsys. Personalization. Infra. Systems. Normcore code. Nutella. Vectors. Words. Vibes. Bad puns (soon).
https://vickiboykis.com/what_are_embeddings/
Man in Business Suit Levitating @dfeldman.org 
Alexander Bandukwala @bandukwala.me 💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist 
Thomas Gazagnaire @gazagnaire.org #ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
Alexandria Ocasio-Cortez @aoc.bsky.social Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago 
Eric Wastl @was.tl Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
eviedot @eviedot.bsky.social forever making a programming language, playing rocket league and being anxious | 🏳️⚧️🏳️🌈 she/her
Shuyang Liu @shuyangliu.bsky.social CS PhD student @ UIUC
Ben Britten @benbritten.bsky.social Previously worked on many, many games; gamedev for nearly 20 years. I am old. I post random 3d printing stuff and sometimes bunnies. He/Him. Australia. Also birds apparently.
Rawane @ra1issa.bsky.social I work in cryptography and privacy. Im currently at Galois, inc.
Matthew Garrett @mjg59.eicar-test-file.zip Former biologist. Actual PhD in genetics. Security, OS security teaching at https://www.ischool.berkeley.edu.
Blog: https://codon.org.uk/~mjg59/blog
Signal: @mjg.59
He/him
Opinions expressed here are mine, not my employer's
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.
SwiftOnSecurity @swiftonsecurity.com computer security person. former helpdesk
Marc Frei @marcfrei.bsky.social https://netsec.ethz.ch • https://yaler.net
Amr Rizk @amrrizk.bsky.social Comp. Engineering, Communication Systems Prof@Leibniz University Hannover
Hier privat. - [ʁɪsk]
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Dare Obasanjo @carnage4life.bsky.social Opinions about product management, technology news and inclusivity in tech. Diversity is about demographics, inclusion is about creating a sense of belonging.
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Jan van Brügge @jvanbruegge.cerberus-systems.de 
André Staltz @staltz.com I make softwarr. Working at @socket.dev Previously: Manyverse, SSB, Cycle.js, RxJS. Opinions expressed are my own.
Shashank Kirtania @shashankkirtania.bsky.social
https://5hv5hvnk.github.io/
Benno Stein @bennoste.in bennostein.org
Praharsh Suryadevara @praharsh.bsky.social Physics PhD Student @ NYU
Remy Seassau @remyjck.bsky.social PhD Candidate @ Cambium, INRIA Paris
OCaml x Program Verification
https://remyjck.github.io
Chris Henson @chenson.bsky.social CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
Pratik Sarkar @pratikscrypto.bsky.social Cryptography, ZK, and MPC Researcher | Currently a Research Scientist at Supra | ex-Cryptography Research Intern at Meta and Visa
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
David Andersen @daveandersen.bsky.social Computer Science Professor, CMU;
co-founder and CTO, Enriched Ag
Energy-efficient computing, a dash of security, and a pinch of databases.
Also on Mastodon (https://hachyderm.io/@dave_andersen )
signal: dga.48
he/him
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
James Munns @jamesmunns.com Notable Protocol Enjoyer.
Doing stuff, mostly in Rust and on Embedded systems.
Co-host @sdr-podcast.com
DMs (matrix): @jamesmunns:beeper.com
DMs (signal): jamesmunns.255
he/him
Kein Ort für Nazis