J. L. Westover @mrlovenstein.bsky.social Be my Cody. Support my work on Patreon ♥ I love you
patreon.com/mrlovenstein
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
ArtButMakeItSports @artbutmakeitsports.bsky.social I turn Art into Sports (and vice versa) | NO AI USED | “Everything I didn't know I needed" - follower testimonial
Matt Might @matt.might.net A private citizen
Daniel Jones @dcjones.bsky.social Computational biologist at Fred Hutchinson Cancer Center (See my work here: https://dcjones.github.io/). I also post about baking, books, and Seattle politics.
Seth Stadick @ducktapeprogrammer.bsky.social Bioinformatics. Rust. Mojo.
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
Cliff Click @cliffclick.bsky.social Compiler researcher, mountain hiker, public speaking, long road trips, teaching, 20 patents, founder, father of 4.
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/
Zach Weinersmith @zachweinersmith.bsky.social New Book out this summer: Sawyer Lee and the Quest to Just Stay Home.
Other things of mine: Bea Wolf, A City on Mars, and SMBC
Website: www.smbc-comics.com
Patreon: https://www.patreon.com/ZachWeinersmith?ty=h
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
The Onion @theonion.com America’s Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newsletters/
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Sarah Andersen @sarahseeandersen.bsky.social No NFTs, No A.I.
linktr.ee/sarahcandersen
Tom Gauld @tomgauld.bsky.social Cartoonist and Illustrator. My book of science cartoons, PHYSICS FOR CATS, is available now! www.tomgauld.com
@ranjitjhala.bsky.social @ranjitjhala.bsky.social 
April aka cyberglot @cyberglot.bsky.social PL nerd, digital artist. Making programs typecheck in the UK.
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
Bianca Trinkenreich @biancatrink.bsky.social Tenure Track Assistant Professor of Computer Science at Colorado State University- K Klaas Stol @kjstol.bsky.social Software engineering research, academic research
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/
Philipp Leitner @philippleitner.net Associate Professor @ Chalmers University of Technology
http://icet-lab.eu
Tom Mens @tom-mens.bsky.social Professor in Software Engineering at University of Mons, Belgium
Steffen Herbold @sherbold.bsky.social https://www.fim.uni-passau.de/ai-engineering/
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
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
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.
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
Mehrdad (Mike) Sabetzadeh @msabet.bsky.social Associate Professor, University of Ottawa
Carlo A. Furia @handle.invalid Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
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.)
David Lo @david-lo.bsky.social 
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
Shiva Nejati @snejati.bsky.social Professor of Software Engineering, University of Ottawa (https://shnejati.github.io/)
Markus Borg @mrksbrg.bsky.social Principal Researcher CodeScene | Adjunct Associate Professor Lund University. Interests: software engineering intelligence, quality assurance, maintainability.
Sebastian Baltes @sbaltes.bsky.social Software Engineering & Empirical Research
https://empirical-software.engineering
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
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.
Facundo Molina @facundomolina.bsky.social Postdoc Researcher at @IMDEA_Software 🇪🇸, PhD @CONICET 🇦🇷.
https://facumolina.github.io/
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
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/
Shin Yoo @drsyoo.bsky.social academic/music lover/reader/gamer/espresso drinker+maker
Robert Feldt @rfeldt.bsky.social Researcher in Software Engineering and Applied AI, Prof at Chalmers University, Gothenburg, Sweden, and co-EiC of EMSE Journal. I tweet my own opinions, mostly about research.
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.
Phil McMinn @philmcminn.bsky.social Professor of Software Engineering, The University of Sheffield.
https://philmcminn.com
Prem Devanbu (பிரேம் தேவன்பு) @devanbu.bsky.social Husband, Dad, Software Engineering researcher at UC Davis, Humboldtian. Loves good ideas, jokes, pranks and The Great Outdoors.
Tushar Sharma @tusharma.bsky.social Asst. prof.@Dalhousie Univ. In the business of finding nails for my hammers. Created Designite. Product of 🇮🇳, trained in 🇬🇷, deployed in 🇨🇦.
🌶 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
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)
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
@lionelbriand.bsky.social @lionelbriand.bsky.social 
Sebastian Uchitel @suchitel.bsky.social Científico, EiC Transactions on Software Engineering, CONICET, lafhis.dc.uba.ar, imperial.ac.uk
Sven Apel @svenapel.bsky.social Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
Davide Fucci @bsky.dfucci.co A (pretentious) Associate Professor of Empirical Software Engineering researcher at BTH 🇸🇪
Opinions are my own
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/
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Zoe Kleinman @zsk.bsky.social BBC Technology Editor 🤖
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Andrew W Moore (he/him) @awm22.bsky.social Stumbling through life
Dan Roy @roydanroy.bsky.social Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
Davanum Srinivas (@dims) @dims.dev
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Steven Murdoch @steven.murdoch.is Professor of Security Engineering; Head of UCL Information Security Research Group @sec.cs.ucl.ac.uk; Director Open Rights Group. 🐘 https://mastodon.social/@sjmurdoch 🐦 @sjmurdoch 🌍 https://murdoch.is/
Tim Hockin @thock.in I like writing software, even if I don't get to do it much anymore. Kubernetes. Star Wars nerd, Expanse fan, dad, dork. 
Emma Vardy @emmavardy2.bsky.social Physician. Honorary Professor of Geriatric Medicine. Delirium. Dementia. Quality improvement. Book lover. Northerner. Mum to daughter with PKU.
James Landay @jlanday.bsky.social Professor of Computer Science, Stanford - HCI & Design, Co-Founder & Co-Director Stanford HAI @stanfordhai.bsky.social
Niall Murphy @niallm.bsky.social Entrepreneur-in-residence. Speaking in personal capacity. Author/instigator SRE books, Reliable Machine Learning, History of the Irish Internet. Photography at http://www.edge-cases.photos
Lizard Queen @pvineetha.bsky.social Past: CS @Penn. CS @dartmouth. Entrepreneurship Fellow @TuckSchool. Student Leader @GWISEDartmouth. Aerospace @iiscbangalore. Design Engineer @GeneralElectric.
I am also on Mastodon as @pineetha@mastodon.social and on Xhitter as @pvineetha
Heidi Howard @heidihoward.bsky.social 
Oskar Wickström @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
Blog at wickstrom.tech, work at antithesis.com
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
Jan Gray @jangray.bsky.social Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. 🇨🇦-🇺🇸
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Dr Oana Andrei @oanamandrei.bsky.social Senior Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
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
Lorenzo De Carli @ldklinux.bsky.social Assistant professor @UCalgary, Dept of Electrical & SW Engineering. Network/SW/usable security.
Liam O'Connor @liamoc.net Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
James Dawson Brock @jamesbrock.bsky.social Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
Clemens @gibtsdes.bsky.social Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
tijana minić @tijanaminic.bsky.social phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
Greg Michaelson @gjmichaelson.bsky.social An idle singer of an empty day
https://www.stairwellbooks.co.uk/product/solstice/
Johan Jeuring @johanjeuring.bsky.social Professor of Software technology for learning and teaching, Utrecht University
José Cano @jocare.bsky.social Reader (Associate Professor) in @uofgcompsci.bsky.social at @uofglasgow.bsky.social | Leads @giclab.bsky.social | #ComputerArchitecture #Compilers #EdgeAI #Security
https://www.dcs.gla.ac.uk/~josecr/
Naren Ramakrishnan @profnaren.bsky.social Thomas L. Phillips Professor, CS@Virginia Tech. Data science, machine learning, urban analytics.
Dave PhD @cmsdengl.bsky.social HCI academic (retired) . Here for #politics #fbpe #RejoinEU #climatechange #cats #music #musicmaking #piano #space #gardening #IAmEuropean
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Malcolm Wallace @malcolmwallace.bsky.social haskell hacker, vicar’s wife, accidental banker
Venkatesh-Prasad Ranganath @orderwithchaos.bsky.social Curious about software and computing. I consume skeets via curated lists hoisted as feeds :)
[he/him]
http://rvprasad.com
Roderick Murray-Smith @rodmurraysmith.bsky.social Professor of Computing Science at the University of Glasgow.
Paul Brauner @polux2001.bsky.social 
Jonathan Merritt @lancelet.bsky.social AI, deep learning, numerical, functional programmer.
Looking for a job!
Uilleann piper, highland piper, extreme Gaelic music enthusiast.
https://jmerritt.blog
Lucas Bordeaux @lucabordo.bsky.social 
Naums Mogers @naumsmogers.bsky.social Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
Barry Jay @barryjay.bsky.social A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
Michio Honda @michioh.bsky.social Faculty at Edinburgh. Computer network & OS research. Foodie. 🏴🇬🇧←🇩🇪←🇯🇵
https://micchie.net
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.