Andreas Zeller @andreaszeller.mastodon.social.ap.brid.gy Software researcher at https://cispa.de., working on https://fandango-fuzzer.github.io, https://www.cispa.de/s3, @TheFuzzingBook, @TheDebuggingBook, and more […]
🌉 bridged from ⁂ https://mastodon.social/@AndreasZeller, follow @ap.brid.gy to interact
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
Lars WD @lwidr.bsky.social Stipendiat i fluidmekanikk, strømninger i fjorden og modellering av forurensing. Kronisk teknologiskeptisk
Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI) @dagstuhl.de To computer scientists Dagstuhl has a special ring: a place to hide away for intensive seminars. The center facilitates research also by its bibliography database dblp and its open access publishing.
Visit https://www.dagstuhl.de to learn more.
norinecoenen.bsky.social @norinecoenen.bsky.social 
Oscar Nierstrasz @onierstrasz.bsky.social OO Evangelist since 1981.
Soul polisher at feenk.com.
Emeritus professor at www.oscar.nierstrasz.org
@ccadar.bsky.social @ccadar.bsky.social 
Aslan Askarov @aslanix.bsky.social 
Abhik Roychoudhury @abhikrc.bsky.social Professor of Computer Science at National University of Singapore
https://abhikrc.com
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Kent Horne @kentonald.bsky.social Music is my sanctuary. Dj and host of Classic Album Sundays Oslo by night. Chasing Hidden Shadows @ radio.d59b.com once a Month.
Fumbling with architecture on a daily basis.
Andrzej Wąsowski ☑️ 🟥 @andrzejwasowski.social.itu.dk.ap.brid.gy An insolent elitist derogatory fearless context-free professor conjugates a well-typed glass of higher-order prilimubary students. Living in and in-between two […]
🌉 bridged from ⁂ https://social.itu.dk/@AndrzejWasowski, follow @ap.brid.gy to interact
@mark-lawford.bsky.social @mark-lawford.bsky.social 
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
SPLC 2025 @splcconf.bsky.social 29th ACM International Systems and Software Product Line Conference (SPLC) #splc2025
📅 September 1-5, 2025
📍A Coruña, Spain 
@edtconf.org @edtconf.org 
Nature @nature.com Research, news, and commentary from Nature, the international science journal. For daily science news, get Nature Briefing: https://go.nature.com/get-Nature-Briefing
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
Davide Ancona @davideancona.bsky.social University of Genova, Italy
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Professor Sue Black OBE @drblack.bsky.social Professor of Computer Science and Tech Evangelist at Durham University; International Keynote Speaker; #womenintech, #100moments tech #podcast host and so much more… https://linktr.ee/drsueblack
Ursula Martin @umartin.bsky.social Knows a lot about Ada Lovelace's science. University of Edinburgh and Wadham College Oxford and Oxford Maths. 
New Scientist @newscientist.com The best place to find out what’s new in science – and why it matters.
Roland Meyer @bildoperationen.bsky.social Digital Cultures and Arts | UZH & ZHdK | operative images, synthetic media and visual culture
@digitalculturesandarts.ch
https://digitalculturesandarts.ch/
https://linktr.ee/bildoperationen
Grady Booch @booch.com scientist, storyteller, philosopher
computingthehumanexperience.com
Eerke Boiten @eerkeboiten.bsky.social Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him.
Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes. DM:eerke.boiten@dmu.ac.uk.
Jonathan Bowen @museophile.bsky.social Emeritus Professor of Computing at London South Bank University.
Pitchfork @pitchfork.com The most trusted voice in music
pitchfork.com
Meteorologene @yr.no Meteorologenes meldinger er tilgjengelig på Yr.no og blir ikke lenger postet til Bluesky.
European Research Council (ERC) @erc.europa.eu European Research Council, set up by the EU, funds top researchers of any nationality, helping them pursue great ideas at the frontiers of knowledge. #HorizonEU
UN Ocean Decade @unoceandecade.bsky.social The United Nations Decade of Ocean Science is a common framework to deliver the science we need for the ocean we want by 2030.
🌊 Join us with #OceanDecade
🔗 oceandecade.org
Montages @montages.bsky.social Montages er Norges fremste filmnettsted – en arena for alle som elsker film. Hør også vår podkast Filmfrelst, og les våre kritiske essays, filmhistoriske dypdykk, intervjuer og nyheter på ➘ http://montages.no // Redaktør på bsky: @karstenm.bsky.social
Resident Advisor @residentadvisor.bsky.social Front left since 2001.
www.ra.co 
arXiv cs.CL Computation and Language @cscl-bot.bsky.social Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.CL/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
Koushik Sen @ksen007.bsky.social CS Professor at UC Berkeley
MIT Computer Science & Artificial Intelligence Laboratory @csail.mit.edu MIT's Computer Science & Artificial Intelligence Laboratory (CSAIL). Media Inquiries: rachelg@csail.mit.edu
boomkat.com @boomkat.com Independent music specialist
Steffen Zschaler @steffen-zschaler.de Reader in Software Engineering. MDE, Languages, SE & Theatre. Director of MDENet, the expert network on model-driven engineering. All views my own and not of @kcl.ac.uk.- S Stefan Klikovits @stklik.bsky.social @stklik@fediscience.org
Loek Cleophas @loekhere.bsky.social /lʊk/ | Rekenaarwetenskapper | @tue_softeng | @StellenboschUni | Views mine | loek@me.com | @loekhere@mastodon.social
@gwensalaun.bsky.social @gwensalaun.bsky.social 
Thomas Brox Røst @brox1974.bsky.social CTO at TRIKKS - E-learning for competence, not just compliance | Associate Professor at NTNU | PhD in clinical decision support systems
Proceedings of the National Academy of Sciences @pnas.org Explore groundbreaking news and research from PNAS, one of the world's most-cited scientific journals. Discover its sibling journal, @pnasnexus.org, both official research journals of the U.S. National Academy of Sciences. Visit www.pnas.org for more info.
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
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
Pascal Poizat @pascalpoizat.bsky.social Professor at Université Paris Nanterre and LIP6 (Sorbonne Université). Software Engineering. Business Processes. Applied Formal Methods.
@havelund.bsky.social @havelund.bsky.social 
ISSTA 2026 Conference @issta.bsky.social The 35th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Oakland, USA // 3-9 October 2026
https://conf.researchr.org/home/issta-2026
Ichiro Hasuo 蓮尾 一郎 @ichirohasuo.bsky.social 情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証．
国立情報学研究所，総合研究大学院大学，株式会社イミロン，他
https://group-mmm.org/~ichiro/
Mathieu Acher @macher.bsky.social Chess-loving professor and researcher who champion the integration of software engineering and AI for reproducible science.
Diving deep into software variability spaces, from Airbus to Linux.
@rennesuniv.bsky.social #INSA #IUF @InstUnivFr @Inria #IRISA
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
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
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
fmrico @fmrico.bsky.social Doctor engineer in Robotics, robot hacker, and Full Professor at Rey Juan Carlos University. Leader of @IntellRobotLabs | ex-ROS 2 TSC
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Matthew Chalmers @matthewchalmers.bsky.social Computer scientist into Ubicomp, HCI, theory and (a long time ago) data visualisation. Also kind of keen on mountain things, fine food things, and fine food in the mountains.
Sabri Pllana @sabripllana.bsky.social HPC & AI
https://sabripllana.eu/
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Ivona Brandic @ivonabrand.bsky.social Univ. Prof @ TU Wien; Computational Sustainability 🌱
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Sven Apel @svenapel.bsky.social Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
Ezio Bartocci @eziobartocci.bsky.social Prof. @ TU Wien, Cyber-Physical Systems,
Chair of TrustACPS Doctoral College
Matteo Maffei @matteomaffei.bsky.social Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
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
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
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Richard Jones @profrejones.bsky.social Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Sreeja S Nair @sreejas.bsky.social https://sreeja.github.io/
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/
Anders Møller @andersmoeller.bsky.social Professor at Aarhus University
https://cs.au.dk/~amoeller
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)
Talia Ringer @taliaringer.bsky.social 
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Tom Henzinger @thenzinger.bsky.social Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social 
Luís Caires @lmcaires.bsky.social I live in Lisbon. I work at Técnico Lisboa as a Professor of Computer Science. Also Interested in science and tech, music and art, philosophy and cinema.
@myvardi.bsky.social @myvardi.bsky.social 
Nikolaj @nikolajbjorner.bsky.social 
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
Tiago @tiferrei.com he/him • Computer Scientist @ Radboud University
@andrewcmyers.bsky.social @andrewcmyers.bsky.social 
Borzoo Bonakdarpour @borzoo.bsky.social Associate Professor of Computer Science at Michigan State University
Armin Biere @arminbiere.bsky.social SAT Solver Hacker, Professor, University of Freiburg
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
PHD Comics @phdcomics.com Comics by Jorge Cham: Oliver's Great Big Universe, Elinor Wonders Why, ScienceStuff and PHD Comics
@lionelbriand.bsky.social @lionelbriand.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
ETAPS conferences @etapsconf.bsky.social ETAPS International Joint Conferences On Theory & Practice Of Software. The ETAPS conferences are ESOP, FoSSaCS, iFS, and TACAS.
ETAPS 2027: April 10–15, Copenhagen, Denmark
https://etaps.org
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Johannes Borgström @joborgs.bsky.social Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭
Private account, he/him, 🌹 🇺🇦 🟣
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Philipp Leitner @philippleitner.net Associate Professor @ Chalmers University of Technology
http://icet-lab.eu
Guillaume Hiet @guillaumehiet.bsky.social Professor at CentraleSupélec | Head of SUSHI Research Team (Inria/CentraleSupélec/CNRS/ENS Rennes) | IRISA Lab | Cybersecurity | Hardware/Software Security
SoSyM @sosym.org Journal of Software and Systems Modeling