Teodors Lisovenko @teodorslisovenko.bsky.social 
@doctasquid.bsky.social @doctasquid.bsky.social 
@rehmanhs.bsky.social @rehmanhs.bsky.social 
@virtue-carrot.bsky.social @virtue-carrot.bsky.social 
Nea Fokida @neafokida.bsky.social Nea Fokida | Showcasing the beauty, history and heritage of Phocis, Greece.
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
norinecoenen.bsky.social @norinecoenen.bsky.social 
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan ❦ thomasporter522.github.io
@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
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/
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
Aaron Eline @aaroneline.bsky.social 
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
@demarkofulcher.bsky.social @demarkofulcher.bsky.social 
@jhjackyt.bsky.social @jhjackyt.bsky.social 
@fvramos.bsky.social @fvramos.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/
Yotam Feldman @yotamfe.bsky.social PhD in computer science (formal methods), postdocing in computational chemistry. Schmidt Science Fellow 2023
@waynee95.bsky.social @waynee95.bsky.social programmer. vim user. student
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet- E @evanwilliams02.bsky.social @evanwilliams02.bsky.social
Bob Coecke @coecke.bsky.social Chief Scientist at Quantinuum, ex Oxford Professor, author of Picturing Quantum Processes & Quantum in Pictures. Also, composer/musician at Black Tish, inventor of Quantum Guitar, playing duets with orchestral organ.
Ethan Bodzioney @bodzioney.bsky.social PL enjoyer. CS MSc @ UToronto
https://bodzioney.org
@0xitalo.bsky.social @0xitalo.bsky.social 
RockallSeaBird @rockallseabird.bsky.social Sciences Nature et poesie
#Livres #EspritDeDefense #Nature #Sciences
⛵️🇨🇵
Sacha Ayoun @giltho.bsky.social CTO of soteria-tools.com, Scaling Reasoning for the age of AI
Adela @kaguuura.bsky.social 
john hui @j-hui.bsky.social 
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 
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
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/
@morespinach.bsky.social @morespinach.bsky.social Thinking about Databases
Buildstash - manage software binaries @buildstash.com For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores 🚀
https://buildstash.com
@acendrou.bsky.social @acendrou.bsky.social 
Jin 🐣 @heyneuron.bsky.social ai/ml researcher 🔍
dreamer, clown, only human - civciv baronu 🐣
- overthinking engineer.
🐦: x.com/itsneuron
🌐: dar.vin/itsneuron
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
Yuri Not Igor @ydewit.bsky.social Cryptic posts in general
Priya L. Donti @priyald17.bsky.social Assistant Professor, MIT | Co-founder & Chair, Climate Change AI | MIT TR35, TIME100 AI | she/they
Daniel Rogozin @hyperdoctrine.bsky.social Mathematical logic and complaining
@doyougnu.bsky.social @doyougnu.bsky.social 
@ghishadow.bsky.social @ghishadow.bsky.social 
@proustian.bsky.social @proustian.bsky.social 🐫
@binarymonkee.bsky.social @binarymonkee.bsky.social 
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
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
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
Rameez @rameezwm.bsky.social Computer scientist
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Tom Turcotte @tomturcottetech.bsky.social Mentored devs for 5+ years. Now building X Growth Engine full-time to fix my own social media struggle: authentic growth without endless scrolling.
xgrowthengine.com
Marco Guarnieri @mguarnieri.bsky.social Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
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.
Cyberflaneurs @cyberflaneurs.bsky.social 
Paul Danger Kile @paul-danger-kile.bsky.social Legal name: Paul Danger Kile
Name at birth: William Paul Caligiuri
Anagram: Guardlike Panel
Japanese Name: ポール・デンジャー・キレ
Callsign: K0PDK
Godless, Programming, Images, Opinion, Electric Bass
dangerismymiddlename.com
Komi Golova @jesyspa.bsky.social Lecturer at JetBrains, specialised in programming language theory
Also working on formal verification (SnaKt) and semantics for Kotlin
she/her 🏳️🌈 🏳️⚧️
I like programming languages, formal verification, abstract nonsense, tea, TTRPGs, and books.
JB Mouret @jbm.eurosky.social Senior researcher at Inria. Robotics and AI.
Julien Signoles @julien-signoles.bsky.social Researcher in formal methods
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.
NeKa @kalthewoofer.bsky.social Software engineer who's always "almost there"
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Michele Alberti @lambdaxdotx.bsky.social 
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
Souk @souk.bsky.social 
João Ribeiro @jmlribeiro.bsky.social Asst Prof, IT and IST, University of Lisbon. Likes coding theory, cryptography, and (pseudo)randomness.
Prev: faculty @ NOVA FCT, postdoc @ CMU, PhD @ Imperial
https://sites.google.com/site/joaorib94/
Maxime @maximemulder.bsky.social Liker of programming and natural languages.
@yersizyurtsuz.bsky.social @yersizyurtsuz.bsky.social 
Augusto Jacinto @augjac.bsky.social Poeta e Escritor
PLRG :: Bristol @plrg-bristol.bsky.social This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io/
Low Society @metacapitalism.bsky.social Deeply committed to opposing MAGA. my pup, books, TV, old movies, jazz, rock, and classical music, beach walks, writing (fiction and non-fiction), abstract painting, stone sculpting, deep sleep, and non-violent villainy.
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
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?)
Axiom Veritas @axiomveritas.bsky.social Who knows me better suggests that integrity, intellectual curiosity, analytical depth, pragmatism, and vision are my defining characteristics.
Socratic reasoning compels me to challenge assumptions, and uncover the deeper truths that shape our world.
Mark Handley @markjhandley.bsky.social Prof. of Networked Systems at UCL and AI networking at OpenAI
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
Ana Matos @agualma.bsky.social 
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
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25