wen👩🏻💻 @ds-wen.bsky.social 👋 senior data scientist. i do = data science + ai + lifelong learning with a growth mindset
Barton Stanley @bartonstanley.org fan of the natural world, reason, and compassion
Fernanda Graciolli @heyyfernanda.bsky.social AI + Formal Verification. Cofounder @ Midspiral. I build tools that make sure your AI-generated code doesn't break the Internet. She/Her.
kir∅ul @kiroul.org 
Horror Underground Film Festival @horrorfilmfestival.bsky.social Various options to submit to the Festival. A HYBRID model. Cinema screenings for audience feedback video.Blog and podcast interviews. And bonus Virtual screening (optional!).
https://filmfreeway.com/horrorunderground
https://festivalforhorror.comi
Kristin Y. Rozier @kyrozier.bsky.social 
@onurorman.bsky.social @onurorman.bsky.social 
sam @sam.ziazoo.co.uk I’m not a cat, but I once had a cat, and she was ace.
https://autotelic.ziazoo.co.uk/
Dziban @dzi-ban.bsky.social Working on Katarineko: https://katarineko.com a platform to help immerse in Japanese
I play ( #GoGame #weiqi #baduk)
At @posthog.com
Jim Ecker @jim-ecker.bsky.social AI, Machine Learning, and Autonomous systems researcher @NASA | Back-to-back World’s Best Dad Champion of the World
Na'aman Hirschfeld @nhirschfeld.bsky.social Co-Founder & CTO @ xberg.io. Document AI and extraction, polyglot Rust cores. Building basemind. Creator of Litestar & Polyfactory. Open source. Opinionated and strongly typed.
Stalking Awareness & News @stalking-alerts.bsky.social Stalking is a little known, dangerous and prevalent crime that is often overlooked. This account will share daily news of arrests, criminal cases, safety alerts and awareness resources. Just getting started, please give a follow back ✨
@accounts-leaving-x.bsky.social @accounts-leaving-x.bsky.social Sharing Accounts That Leave X and Move to Bluesky (since Feb 10, 2025).
Not a bot! Every account that leaves X is discovered and shared manually!
Masahiro Sakai @msakai.bsky.social Engineer at Noeon Research ← Engineer at Preferred Networks ← Research Scientist at 東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai
Chris Poskitt @chrisposkitt.bsky.social Associate Professor (Education) at SMU, Singapore. Software engineering, testing, and computing education. https://cposkitt.github.io/
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
Dirk-Jan Swagerman @djswagerman.buffadoo.nl Chief on demand innovation & technology. (Medical) Systems & Software. Architecture, Lean, (model based) legacy code transformation.
#Systems #Software #Medtech
#Architecture #SystemsThinking
#FormalMethods #TLA+ #Alloy
#IEC62304 #ISO14971 #ISO13485
@kamelraghdi.bsky.social @kamelraghdi.bsky.social 
Science Events @scievents.bsky.social Science Events helps you organise a scientific conference or workshop. Use our platform to organise your next event! Visit our platform at https://www.sci.events
Michael Luck @michaelluck.bsky.social Professor of AI, Deputy VC & Provost. Views my own.
https://linktr.ee/michaelluck
ASU School of Computing and Augmented Intelligence @scai-asu.bsky.social SCAI is the home of interdisciplinary excellence in computer science, engaged in education and research to address the grand challenges of modern society.
Mary Ellen Foster @maryellenfoster.bsky.social Senior Lecturer in Human-Robot Interaction at
@uofgcompsci.bsky.social. "A disgrace to the Russell Group" according to an anonymous student evaluation.
She/her. 🇨🇦
https://www.maryellenfoster.uk/
Carlos Hernández Corbato 🟥 @chcorbato.bsky.social Associate professor at Cognitive Robotics | Mechanical Engineering | Delft University of Technology.
Opinions are my own.
Nicola Bellotto @nbellotto.bsky.social Associate Prof @ UniPD
Machine Intelligence Group @ IAS-Lab
https://iaslab.dei.unipd.it/groups/mig/
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)
Hyungsub Kim @hyungsubkim.bsky.social Assistant Professor @Indiana University Bloomington, working on cybersecurity.
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
Centre for Assuring Autonomy @cfaa.bsky.social Advancing safety assurance of autonomous systems, AI, and robotics across the globe. A partnership between Lloyd’s Register Foundation and the University of York. Contact us for research projects, training and workshops, or consultancy on safety assurance.
David Adger @davidadger.bsky.social syntax and other stuff, mainly more linguistics and cogsci but occasional queerness, poetry, cats and @ans.bsky.social 🏳️🌈
https://davidadger.org
heartpunk (sophie!!) @heartpunk.com trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk
39 y/o, MDNI 🔞
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
Brian McRoberts @brimcrob.bsky.social Fifer.
Software Tester.
Raith Rovers and Scotland.
Living in Leith.
Posting mostly random music, Scottish Football, Software Testing, and writing. Shall follow ye back.
Illegitimi non carborundum.
https://threechordthrash.wordpress.com
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
C.S.Negri @csnegri.bsky.social Requirements Eng/Interdisciplinarity | MSCA @Uni Luxembourg | RP/like ≠ endorsement | Faltas ortográficas | Sometimes != serious | Somewhere in Lux
I talk about data protection, privacy, (ciber)security, EU, USA and Chilean politics. Coffee & climbing ❤️
Rebus Tóthné Farkas @rebusfarkas.bsky.social Williams Racing fan, #wdbwc25 winner, #wdbwc26 joint winner, computer scientist, research assistant at the Critical Systems Research Group, PhD candidate, wife, mother
Bijan Parsia @bparsia.bsky.social I am a Prof of Comp Sci at Uni of Manchester, UK. UCU NEC disabled member rep (2023-24). UCUCommons. All posts are my own behalf alone. He/him/they.
Loy @loybeek.bsky.social l0y.nl | Dad | Robotics at aigro.nl | RoboCup@Home @TechUnited | scout at scoutingboxtel.nl | Interested layman in anything. Mastodon:
@loy@fosstodon.org.
Dr What @drjstr.bsky.social Interests: politics, climate action, astronomy, law, tea. Opinions my own, unless I picked them up somewhere.
Marina Jirotka @marenka.bsky.social Professor Human Centred Computing - University of Oxford - passionate about nature animals and the wild
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
BCSWomen Lovelace @bcswomenlovelace.bsky.social UK's main conference for women undergraduates and MSc students in computer science. Open to non-binary people too.
Éric Vautier @ericvautier.bsky.social Web developer. History enthusiast (especially about Reformation). Avid Sci-fi reader. London-based.
Tiago @tiferrei.com he/him • Computer Scientist @ Radboud University
Flakey Foont @flakyfoont.bsky.social "One just principle from the depths of a cave is more powerful than an army. "
-Jose Martí
https://jhardycarroll.substack.com
https://www.barnesandnoble.com/w/the-ruining-heaven-j-hardy-carroll/1141451714
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Ravi @ravikd.bsky.social 
The Open Access Blogs @openaccessblogs.substack.com Academic insights on global news—connecting culture, economy, and society through scholarly analysis.
The Omega Man (Rebel wo Applause) @rebelwoapplause.bsky.social "Power tends to corrupt, and absolute power corrupts absolutely. Great men are almost always bad men.” Lord Acton
Published author of Radio Waves & misunderstood poetry. No DM’s! Pseudo-celebrities are forever banned.
Visual Poet and political satirist!
People vs Trump @kudubro.bsky.social ANTI-FAscist, democracy forever, Vive la Résistance, proudly woke, progressive, a voice, not an echo. We are on the right side of history. 🌊🧢🇺🇸 🙋🏻♂️💙🏳️🌈🦮🇺🇦🇵🇸 (🇮🇱)
Canada is our BFF! Store water & food b4 it's all bad! @austin-native.bsky.social TIME TO PREPARE, EVERYONE!
U.S. is owned by a Dictator now. The COUP was successful. We're under fascist rule.
Store water and food, AND DON'T EAT THE BEEF!
Hal @heyfriend-1.bsky.social 🧢💙🇺🇦🌞🧬🧫🧪🔬♻️ #AntiTrumpers Welcome
Dems, Progressives, Centrists,
Come Join Us! #BlueCrew
City Councilman. FORMER: public school board trustee for 13 years; Chair of the SEMG (GROUP) of the Sierra Club.
#MeToo #BlackLivesMatter
@DUH4Healthcare @duh4healthcare.bsky.social #Medsky,#UniversalHealthcare, #Single-Payer, #HealthEquity. #M4A, #Medicare4AlI, #HealthcareIsAHumanRight,
#Healthcare4All, #HealthcareForAll,
#DemandUniversalHealthcare,
also on FB & Instagram. DUH! No DMs
Mike @michaeltheelder.bsky.social NO DMs from cuties, sexual objects looking for ultimate fulfillment! NOTE: If you’re NOT posting, or no Profile, I’m NOT following. Old guy loves politics, art, photography, travel, languages.
Jesus, w/new name, is now God. I’m his son @sonofjesus.bsky.social Jesus is now God. His dad retired in 1994. Gone fishing. He’s been doing the count since then of who stays & who goes. Evil now rules. Less than a few years left of count, Rev 3:10. His grandson pictured now helping him speed up count. I’m ancient.
Mr.Ponyboy @mrponyboy.bsky.social 🏳️⚧️🏳️🌈safe space | he/him | anything space related |
Robin Como 🇮🇹🇨🇭 @roby2308.bsky.social 📍Como Italy
I❤️ justice, climate/nature/pollution protection,
culture, art,music
I❤️ 🎹🎹 🎸🎾⛷️🏊🤿⚽📸📽️
🚫No violence,wars, fanaticism,racial discrimination, corruption,scammer,drugs, smoking.
🚫OF,Porno,Crypto,Steam,Illuminati
Diana Mocanu @dianamocanum.bsky.social Postdoctoral researcher on the legal agency of artificial intelligences and groups
Julien Girard-Satabin @determineddust.bsky.social Academic and engineer. Formal Verification, Artificial Intelligence, Explainability, Self-Hosting.
Wrapups and opinion pieces at https://julien.girard-satabin.fr
🥀 In 10 years, we will not be able to build new computers.
😷 Wear a mask, save lives.
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
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
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
지산 @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
🎵 NP: "YAKEBUSI" by 切腹ピストルズ
@carlataciana.bsky.social @carlataciana.bsky.social 
Michele Alberti @lambdaxdotx.bsky.social 
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.- B . - @bakirtzisg.bsky.social https://bakirtzis.net
@polymorphism.bsky.social @polymorphism.bsky.social 
@fathimeryem123.bsky.social @fathimeryem123.bsky.social 
Antithesis @antithesis.com Bug nerds 🐛 🐞 🐜
You hate testing. You'll love us.
https://antithesis.com/
Nana @mtechlaw.bsky.social I love to read…and sometimes write. Connect with me here or nananwachukwu.com. PhD Student at aial.ie
James Curbo @curbo.org 👨💻 Cyber researcher at JHU Applied Physics Lab
📐 Doctor of Engineering, JHU Whiting School of Engineering (space cyber)
🔭 Amateur astronomer
🕹️ Video game connoisseur
📚 Math/science/history nerd, married to a geologist
✈️ USAF vet
https://curbo.space/
Shawn Bell @bellnet.bsky.social Retired curriculum designer and interactive media arts educator. Composer, applying complexity science, a-life research and computational creativity to generative and interactive music systems.
robohub @robohub.org Robohub is an online platform that brings together leading communicators in robotics research, start-ups, business, and education from around the world.
https://robohub.org/
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
@shiftyflipflop.bsky.social @shiftyflipflop.bsky.social 
@streamlight.bsky.social @streamlight.bsky.social 
Science HR @sciencehr.bsky.social A career network featuring science jobs in academia and industry.
Visit our platform at www.science.hr
Ric Angius @storitu.org PhD @aial.ie
corporate capture / platform accountability
social reproduction / computational theory
over-reliance on digital tools / participatory organising for justice
storitu.org
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
Nelly Bencomo @nellybencomo.bsky.social Associate Prof @DurhamUniversity @comp_sci_durham
- British 🇬🇧 & Venezuelan 🇻🇪 Usually twits about SE & CS research, & politics (personal @Nell_Bencomo) www.nellybencomo.me
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
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
Dr Matt Osborne @thefuriousengineer.bsky.social Safety Scientist. Visiting Research Fellow @CfAA_York. Independent Safety Consultant at The Furious Engineer. Pretender to the Eco Warrior throne
John Semmens @johnsemmens.bsky.social Engineer, Sailor, Sailing Droner.
sailingdrones.au
Mohammad Rezaalipour @mohrez25.bsky.social Postdoc @unipassauresearch.bsky.social
PhD in Informatics from @usi.ch
Homepage: mohrez86.github.io
LinkedIn: https://www.linkedin.com/in/m-rezaalipour
Mastodon: https://mastodon.acm.org/@mohrez
X: https://x.com/mohrez2019
ACM Special Interest Group on AI @acmsigai.bsky.social Association for Computing Machinery Special Interest Group in Artificial Intelligence: https://sigai.acm.org/main/