AKI.IO @aki-io.bsky.social AKI.IO provides a European AI API for open-source and open-weight models. Token-based access, sovereign EU GPU infrastructure. No hyperscalers. No vendor lock-in. Built for production workloads. https://aki.io/
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Patricia Lago @plago.bsky.social Professor of Software Engineering and Sustainability
HumaniSE Lab @humanise-lab.bsky.social Funded by ARC, our lab’s world-leading research makes a difference by delivering more inclusive software solutions for today's diverse population needs.
Pascal Poizat @pascalpoizat.bsky.social Professor at Université Paris Nanterre and LIP6 (Sorbonne Université). Software Engineering. Business Processes. Applied Formal Methods.
Gregory Gay @greggay.bsky.social Associate Professor (Chalmers and University of Gothenburg), mostly working on software testing.
American living in Sweden.
Sometimes gaming journalist.
70% composed of memes.
More on my work at http://greggay.com
Abhik Roychoudhury @abhikrc.bsky.social Professor of Computer Science at National University of Singapore
https://abhikrc.com
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Swarat Chaudhuri @swarat.bsky.social Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
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
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.
Oscar Chaparro @ojcchar.bsky.social Assistant Professor at Willliam & Mary, teaching and conducting research in Software Engineering.
Austin Henley @azhenley.bsky.social Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
Ronnie de Souza Santos, Ph.D @softwaronnie.bsky.social Tenure-Track Assistant Professor in Software Engineering. @SchulichENGG - @UCalgary. My research goal is to make software engineering more colorful! 🌈
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
Siobhán Clarke @siobhanclarke.bsky.social Professor of Software Systems, Trinity College Dublin. MRIA
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Bianca Trinkenreich @biancatrink.bsky.social Tenure Track Assistant Professor of Computer Science at Colorado State University
Tom Mens @tom-mens.bsky.social Professor in Software Engineering at University of Mons, Belgium
TechDebt Conference @techdebtconf.bsky.social Official Bluesky account of the International Conference on Technical Debt (TechDebt) series.
Co-located with @icseconf.bsky.social
Website: https://conf.researchr.org/home/TechDebt-2025
Reyhan Jabbarvand @reyhanj.bsky.social Assistant Professor of Computer Science (PLSE) at University of Illinois, Urbana Champaign
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Neil Walkinshaw @neilwalkinshaw.bsky.social Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.
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.)
Leon Moonen @leonmoonen.com Data-Driven Software Explorer | Prof @ Simula Research Laboratory & BI Norwegian Business School | science, hikes, algorithmic art & drawing machines
https://leonmoonen.com
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Markus Borg @mrksbrg.bsky.social Principal Researcher CodeScene | Adjunct Associate Professor Lund University. Interests: software engineering intelligence, quality assurance, maintainability.
Philipp Leitner @philippleitner.net Associate Professor @ Chalmers University of Technology
http://icet-lab.eu
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Ivano Malavolta @imalavolta.bsky.social Associate professor in Software Engineering at #VUamsterdam | Director of Network Institute | https://www.ivanomalavolta.com
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.
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Shin Yoo @drsyoo.bsky.social academic/music lover/reader/gamer/espresso drinker+maker
Daniel Feitosa @danielfeitosa.bsky.social Assistant Professor in Software Engineering @ University of Groningen
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
Prem Devanbu (பிரேம் தேவன்பு) @devanbu.bsky.social Husband, Dad, Software Engineering researcher at UC Davis, Humboldtian. Loves good ideas, jokes, pranks and The Great Outdoors.
🌶 David Gray Widder @davidthewid.bsky.social Assistant Prof at UT Austin's iSchool.
Big Tech, political economy, AI hype, AI in War
trying to help computer ppl think more critically about computer, including me
exCornell/CMU/NASA/MSR/IntelLabs.
davidwidder.me
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. 
Bashar Nuseibeh @basharnuseibeh.bsky.social FREng MRIA MAE FACM
#SoftwareWithoutBoundaries
#responsibleSoftwareEngineering
Executive Dean, City St George’s, University of London.
Professor: The Open University (Emeritus), TCD (Adjunct), UCL (Honorary), Imperial/NII/UCD (Visiting)
Sebastian Uchitel @suchitel.bsky.social Científico, EiC Transactions on Software Engineering, CONICET, lafhis.dc.uba.ar, imperial.ac.uk
@lionelbriand.bsky.social @lionelbriand.bsky.social 
Sven Apel @svenapel.bsky.social Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
Carlos Baquero @xmal.bsky.social Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023)
Web: https://cbaquero.github.io/web/
Davide Fucci @bsky.dfucci.co A (pretentious) Associate Professor of Empirical Software Engineering researcher at BTH 🇸🇪
Opinions are my own
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
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/
The Scala Programming Language @scala-lang.org A programming language that scales with you: from small scripts to large multiplatform applications.
https://www.scala-lang.org
Grady Booch @booch.com scientist, storyteller, philosopher
computingthehumanexperience.com
Lin Tan @lin-tan.bsky.social Elmore New Frontiers Professor @PurdueCS | Ex @Meta @UWaterloo @IllinoisCDS @MSFTResearch @IBMResearch | #SE #TextAnalytics #LLM4Code #AI #Security
https://www.cs.purdue.edu/homes/lintan/
Michel Albonico @michelalbonico.bsky.social Associate Professor@SDU Vejle, DK
SE4Robotics SWE
Lucas Vegi @lucasvegi.bsky.social Assistant Professor at DPI/UFV (Brazil)
Ph.D. in Computer Science (ASERG/DCC/UFMG)
Software Engineering |> Code smells |> Refactoring |> Elixir
https://linktr.ee/lucasvegi
Post mostly in English. Sometimes in Portuguese.
Ravyn @pgov.bsky.social ML & Data Engineer based in Helsinki. Expect Machine learning, AI and Big Data related posts. Also curious about astro and general maker related topics.
derek guy @dieworkwear.bsky.social Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter.
If you have a style question, search:
https://dieworkwear.com/ | https://putthison.com/start-here/
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.
Mark Riedl @markriedl.bsky.social AI for storytelling, games, explainability, safety, ethics. Professor at Georgia Tech. Director of ML Center at GT. Time travel expert. Geek. Dad. he/him
Sakana AI @sakanaai.bsky.social Sakana AI is an AI R&D company based in Tokyo. 🗼🧠
Try Sakana Chat, Translate, Marlin, Namazu, Fugu → https://chat.sakana.ai/
hardmaru @hardmaru.bsky.social Co-Founder & CEO, Sakana AI 🎏 → @sakanaai.bsky.social
Visit → https://sakana.ai/
Sung Kim @sungkim.bsky.social A business analyst at heart who enjoys delving into AI, ML, data engineering, data science, data analytics, and modeling. My views are my own.
You can also find me at threads: @sung.kim.mw
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, ...- G Gautam Shetty @gautamshetty.bsky.social
Tom Aarsen @tomaarsen.com Sentence Transformers, SetFit & NLTK maintainer
Machine Learning Engineer at 🤗 Hugging Face
Indranil Palit @indranilpalit.bsky.social If you know me, you know me!
François Fleuret @francois.fleuret.org Research Scientist Meta/FAIR, Prof. University of Geneva, co-founder Neural Concept SA. I like reality.
https://fleuret.org
Adriana Sejfia @adrianasejfia.bsky.social Assistant Professor in Software Engineering at the University of Edinburgh. CS PhD from University of Southern California. She/her.
👩🏻💻 asejfia.github.io
Madeline Endres @cellocorgi.bsky.social Assistant Professor, Software Engineering, UMass Amherst! madelineendres.com
Martin Mirchev @mirchevmartin.bsky.social PhD Student in Trustworthy and Secure Software Research group in National University of Singapore
Facundo Molina @facundomolina.bsky.social Postdoc Researcher at @IMDEA_Software 🇪🇸, PhD @CONICET 🇦🇷.
https://facumolina.github.io/
@carlataciana.bsky.social @carlataciana.bsky.social 
Peter Timmerman @petertimmerman.bsky.social 
Rede Emílias de Podcasts @redeemilias.bsky.social A Rede Emílias de Podcasts é uma iniciativa dedicada à divulgação de conteúdos relevantes nas áreas de tecnologia, ciência da computação e engenharia de software, com um foco especial na diversidade e inclusão.
https://fronteirases.github.io/redeemilias
Vasilios Andrikopoulos @vandriko.bsky.social Books reader. Parent and husband. Alcoholic beverages appreciator. Really annoying music round participant in pub quizzes, apparently. Incidentally teaching and researching cloud, sustainability, and software architecture (professional account on mastodon)
Jorge A. Pérez @perezjorgea.bsky.social Fundamental Computing (http://rug.nl/fse/fc)
University of Groningen (NL)
Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/)
Father (x2)
Marcello Seri @mseri.me Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster
#mathsky #physics #scicomm #ocaml #edusky
Also @mseri@mathstodon.xyz
Mirko Stocker @mirkostocker.bsky.social 👨🏫 Software Engineering Prof. https://ost.ch/i
📙 Author of Patterns for API Design https://api-patterns.org/
✍🏻 Growing Green Software Blog https://medium.com/growing-green-software
Markus Harrer @markusharrer.de Software Development Analyst @innoq, Trainer @socreatory. I like fixing things. Legacy systems, Wardley Maps, DDD and Software Analytics fanboy. https://markusharrer.de/
Oscar Nierstrasz @onierstrasz.bsky.social OO Evangelist since 1981.
Soul polisher at feenk.com.
Emeritus professor at www.oscar.nierstrasz.org
Chris Poskitt @chrisposkitt.bsky.social Associate Professor (Education) at SMU, Singapore. Software engineering, testing, and computing education. https://cposkitt.github.io/
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Lukas Schulte @l-schulte.eu PhD Student at the University of Passau
> Software Engineering Research
> https://l-schulte.eu
@siegmund.eurosky.social @siegmund.eurosky.social Professor for Software Systems at
Leipzig University
Known for:
"This is not our beer!"
Yannic Noller @yannicnoller.bsky.social CS Professor at @ruhr-uni-bochum.de
https://yannicnoller.github.io
Jordi Cabot @jcabot.bsky.social Head of the Software Engineering RDI team at LIST (Luxembourg). FNR Pearl. Former ICREA, UOC, Inria/IMT, U of Toronto. 2xFounder.
Interested in how to build better software faster using a combination of low-code, AI and open source
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. 
Vincent Hellendoorn @vhellendoorn.bsky.social Researcher making programming more accessible, Google DeepMind and CMU
Rahul Gopinath @rahul.gopinath.org Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing
https://rahul.gopinath.org
Kevin Borgolte @kevin.borgolte.me Professor in CS at Ruhr University Bochum, DE. Part of HGI Bochum and DFG Excellence Cluster CASA: Cyber Security in the Age of Large-Scale Adversaries. Software and Internet security & privacy. Mastodon: @kevin@borgolte.me. Sometimes going by cao.
Michele Lanza @lanzamichele.bsky.social 
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
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Joe Slade @sladeelder.bsky.social Husband and father.
Software developer.
Recent obsessions include D&D and 3D printing.
Armin Biere @arminbiere.bsky.social SAT Solver Hacker, Professor, University of Freiburg
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Diego Garbervetsky @diegogarber.bsky.social Researcher and Professor at
@ComputacionUBA / @Exactas Uba. Director of @icc uba conicet . I am interested in automatic program analysis.
Yuntong Zhang @yuntongzhang.bsky.social CS PhD Student at National University of Singapore. Automatic programming, automated program repair, software security.
Arthur Wang @arthurzw.bsky.social Scholar of literature, media, and science communication, software engineer, & co-editor @post45.bsky.social