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
Elisa Gonzalez Boix @elisagboix.bsky.social Researcher, professor of Computer Science at Vrije Universiteit Brussel, Belgium
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
Davide Ancona @davideancona.bsky.social University of Genova, Italy
Steve Moss @gawbul.io Dad, husband, and PhD 🧑🧑🧒🧒👨🏻🎓 Scientist, technologist, and engineer 👨🔬📱👨💻 Bibliophile 📚 Philomath 🤓 Mental health advocate 💚
Passionate about #bioinformatics, #computing, #evolution, #genomics, #medicine, #science, and #sre 🧬🩺💻
Homepage: https://www.gawbul.io
Ashley Blacquiere @ashblacquiere.bsky.social Ops @leanprover
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.
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
University of St.Gallen @unisg.ch Welcome to the official account of the University of St.Gallen (HSG).
https://www.unisg.ch
Systems Group @ TU Darmstadt @tuda-systems.bsky.social Systems Group at the Technical University of Darmstadt, led by Carsten Binnig and Zsolt István.
Website: https://www.informatik.tu-darmstadt.de/systems/
Also: @cs-tudarmstadt.bsky.social @tuda.bsky.social
David Spielmann @spdavid.bsky.social PhD student in the Programming Group at the University of St. Gallen
making Infrastructure as Code more reliable
https://david-spielmann.ch/
David Lo @david-lo.bsky.social 
George Zakhour @grgzkhr.bsky.social PhD student at @prg-grp.bsky.app
Interested in PL and Type Systems.
Programmer for more than 10 years.
Based in 🇨🇭 from 🇱🇧
(he/him)
https://grgz.me
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
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.
Black Hat @blackhatevents.bsky.social The world's premier Technical Cybersecurity Conference Series
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Sebastian Ullrich @kha.functional.cafe.ap.brid.gy makes Lean at Lean FRO
Munich, Germany
[bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Somesh Jha @someshjha.bsky.social I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
JetBrains @jetbrains.com On a mission to make software development a more productive and enjoyable experience. Make it happen. With Code.
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/
Miles Sabin @milessabin.com Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
Sam Lindley @reifyreflect.bsky.social 
AI + FM papers @ai-fm-papers.bsky.social A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
Department of Computer Science, Aarhus University @csaudk.bsky.social We are taking a break from Bluesky. Maybe we will come back...
For now check out our profiles on LinkedIn, Instagram and Facebook.
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
OWASP® Foundation @owasp.org We improve the security of apps with community-led open source projects, 260 local chapters, and tens of thousands of members worldwide. Famous for OWASP Top 10
Davide Eynard @aittalam.bsky.social Dad of 3564020356.org, PicoGopher, and two amazing kids. Interested in open applications of ML on federated systems. Trustworthy AI at mozilla.ai. Genetically a teacher, forever a student. He/him.
@mala@fosstodon.org
Marco Lancini @marcolancini.it 💼 Director of Security
🏠 MarcoLancini.it
📬 CloudSecList.com
📚 CloudSecBooks.com
💬 I write about security strategy, technical leadership, and cloud security.
Spinoza.it @spinozait.bsky.social Un blog serissimo.
Roberto Burioni @burioni.bsky.social appena arrivato, sono io. 
Web Security Academy @websecacademy.bsky.social Free web security training from PortSwigger.
Matteo G.P. Flora @mgpf.bsky.social Docente in Uni (#Reputation, #Cybersec, #DataDriven), CEO & Imprenditore (http://TheFool.it + http://42lf.it + altre), Speaker e Divulgatore. Scrivo su @ilriformista. US IVLP
Garante Privacy @gpdp.it Autorità Garante per la protezione dei dati personali
@computersociety.bsky.social @computersociety.bsky.social 
Mario Sangiorgio @mariosangiorgio.com 🇮🇹🇬🇧 Senior software engineer at . I like programming languages, developer tools and distributed systems. I also play with my homelab and electronics.
Solar powered
Papers We Love @paperswelove.org A community of folks into computer science research and using it for great justice.
🌏 https://paperswelove.org
👀 https://pwlconf.org
🦣 https://mstdn.io/@paperswelove
📺 https://www.youtube.com/@PapersWeLove
Claudio Criscione @criscio.net Security Robot Overlord @ Google.
Vulnerability Management
Luca Ponzanelli @lucaponzanelli.bsky.social 
Voxxed @voxxed.com Sharing expert knowledge on Java, JVM, Methodology, Cloud, Mobile & Future tech. Follow us for tutorials, presentations and interviews.
Voxxed Days Luxembourg @lu.voxxeddays.com Voxxed Days conference in Luxembourg. Organized by @yajug.bsky.social. https://luxembourg.voxxeddays.com/en/#registration
Racket @racket-lang.org Racket is...
* a general purpose language
* compiler, runtime and tools,
* a diverse community
https://racket-lang.org/
Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.
https://rhombus-lang.org
Andrzej Wąsowski (moved away) @andrzejwasowski.scholar.social.ap.brid.gy An insolent elitist derogatory fearless context-free professor conjugates a well-typed glass of higher-order prilimubary students. Living in and […]
[bridged from https://scholar.social/@AndrzejWasowski on the fediverse by https://fed.brid.gy/ ]
Tim Berners-Lee @timbl.bsky.social Inventor of WWW
Co-founder & CTO Inrupt.com | Lead, Solidproject.org
Co-founder WebFoundation.org & theODI.org
Founder w3.org
My memoir ‘This is for Everyone’ https://thisisforeveryone.timbl.com/
Follow me on Mastodon https://w3c.social/@timbl
Alfonso Fuggetta @alfonsofuggetta.bsky.social Professore di Informatica al Politecnico di Milano.
Dico quello che penso. Faccio al meglio delle mie capacità quel che dico. Ultimo libro: Alla ricerca del buon management.
Scrivo su Pensieri: https://www.alfonsofuggetta.it.
Stefano Zanero @raistolo.bsky.social Tinkerer, security geek, recovering entrepreneur, full professor at www.polimi.it, frequent flyer, private pilot, and generic pundit. He/Him 🏳️🌈
For aviation follow me on Instagram, same id!
Andrea Mocci @andreamocci.bsky.social Junior Group Leader @ http://codelounge.si.usi.ch . Tweets about software engineering, politics & more | He/him
Felienne Hermans @felienne.bsky.social "What I had not realized is that extremely short exposure to a relatively simple computer program could induce powerful delusional thinking in quite normal people" - Weizenbaum 1976
In het Nederlands maar soms also in English!
Carlo A. Furia @bugcounting.mastodon.acm.org.ap.brid.gy Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana (Lugano, Switzerland).
[bridged from https://mastodon.acm.org/@bugcounting on the fediverse by https://fed.brid.gy/ ]
Michele Lanza @lanzamichele.bsky.social 
Philipp Leitner @philippleitner.net Associate Professor @ Chalmers University of Technology
http://icet-lab.eu
Mehdi Jazayeri @mehdijazayeri49.bsky.social 
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
Davide Balzarotti @balzarot.bsky.social Professor in Computer Security @EURECOM
Ex Defcon CTF organizer with @oooverflow
Paolo Tonella @paolotonella.bsky.social Professor at USI, former PI of ERC research project https://pre-crime.eu, honorary professor at UCL
Diomidis Spinellis @coolsweng.bsky.social Professor of software engineering at AUEB and software analytics at TU Delft, programmer, technology author. https://www.spinellis.gr/
(Tech tweets here. Follow @DSpinellis for Greek/Greece tweets.)
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
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
Liliana Pasquale @lsalander.bsky.social Associate Professor @ University College Dublin | Director of the MSc in Cybersecurity @ University College Dublin
Research Interests: Software Engineering, Requirements Engineering & Cybersecurity
Thomas Vogel @tomvog.bsky.social Software engineering and autonomous systems.
Researcher @humboldtuni.bsky.social, previously @unipaderborn.bsky.social, PhD from @hpi.bsky.social. Find me at https://thomas-vogel.github.io/
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
Matthias Hauswirth @hauswirth.bsky.social Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
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
Amy J. Ko @amyko.phd Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Tom Mens @tom-mens.bsky.social Professor in Software Engineering at University of Mons, Belgium
Wojciech Woźniak @wniak.com Hi
I post about:
- programming (Elixir, Svelte)
- business
- some other stuff sometimes
Personal website:
- https://wniak.com
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Michael Hilton @michaelhilton.bsky.social Trying this out
Associate Teaching Professor in Software Engineering @ Carnegie Mellon University 
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Ben Shapiro (he/him) @benshapi.ro Prof @ University of Washington
Gianluca Stringhini @gianlucastringhini.com Associate Professor at BU. Cybersecurity and Cybersafety. Come for the memes, stay for the science. Skeets are my own
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
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
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
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
PHD Comics @phdcomics.com Comics by Jorge Cham: Oliver's Great Big Universe, Elinor Wonders Why, ScienceStuff and PHD Comics
arxiv cs.PL @arxiv-cs-pl.bsky.social Computer Science -- Programming Languages (cs.PL)
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
Eddie Kohler @xexd.bsky.social - J Joe Hellerstein @joehellerstein.bsky.social Computer things @Berkeley and music things elsewhere.
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Oscar Nierstrasz @onierstrasz.bsky.social OO Evangelist since 1981.
Soul polisher at feenk.com.
Emeritus professor at www.oscar.nierstrasz.org
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Michael Carbin @mcarbin.bsky.social Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
Matteo Maffei @matteomaffei.bsky.social Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/