Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
@dr-cybersecurity.bsky.social @dr-cybersecurity.bsky.social SyMeCo Postdoctoral Fellow @Lero, Munster Technological University | Cybersecurity, Artificial Intelligence, Design Science
Wajahat Ali @wajali.bsky.social Writer. Tired Dad. Minivan Driver.
Editor of The Left Hook Substack (https://thelefthook.substack.com); Co-host of Democracy-Ish; Author of a Memoir and a Play; @YouTubeWajahatAli
wajali.com
wajahatmali@protonmail.com
Royal Irish Academy @ria.ie Fostering excellence and scholarship to enrich society, e. 1785.
Home to the RIA Library, 8 research programmes & a publishing house.
www.ria.ie
Reg. Charity No. 20003524 - Reg. Revenue No. CHY 2795
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
N.S. Nuseibeh @nswriting.bsky.social Writer/feeder/eater. East Jerusalemite 🍉🏳️🌈. Buy my book so that my publishers don't get sad: https://uk.bookshop.org/p/books/namesake-reflections-on-a-warrior-woman-n-s-nuseibeh/7592027?ean=9781838852634
@dighumtuwien.bsky.social @dighumtuwien.bsky.social 
Claudiu Ivan @claudiu-ivan.com The ghost was always in the machine. Now it needs tools.
https://www.claudiu-ivan.com/
CRT Foundations of Data Science @crt-datascience.bsky.social A large-scale doctoral training centre between the University of Limerick (UL), Maynooth University (MU) and University College Dublin (UCD) will train a cohort of 128 PhD students.
University of Limerick @unioflimerick.bsky.social Official Bluesky account for University of Limerick
Follow for latest news & campus updates
(DMs + mentions not monitored)
RCN: CHY20009274
www.ul.ie
#StudyatUL #SpeirGorm
Rodi Jolak @rjolak.bsky.social PhD from Gothenburg University.
Researcher in systems engineering at RISE.
Adjunct professor of software engineering at Mid Sweden University.
SPLC 2025 @splcconf.bsky.social 29th ACM International Systems and Software Product Line Conference (SPLC) #splc2025
📅 September 1-5, 2025
📍A Coruña, Spain 
Pablo Gómez-Abajo @gomezabajo.bsky.social Computer scientist / Software engineer / Modelling and some other stuff. Assistant professor at @miso_uam @uam_eps @uam_madrid
miso @miso-uam.bsky.social Modelling and Software Engineering research group at the Computer Science Departament of the Universidad Aútonoma de Madrid
@ieee-scam.org @ieee-scam.org 
ACM SIGSOFT @sigsoft.bsky.social The ACM Special Interest Group on Software Engineering provides a forum for computing professionals from industry, government and academia to examine principles, practices, and new research results in software engineering.
Philip Nolan @philipnolanmu.bsky.social Research Professor @MaynoothUni | Scientist (physiologist), teacher, higher education leader, cyclist | philip.nolan@mu.ie | Personal account
Augmenta iunera @license-token.com representative of iunera.com
#ai and #mcp fan!
Hunting crazy projects;
#java #python #angular;
#OpenSource #indiehacker ;
#Bigdata and #AI enthusiast;
loving #crypto and tokenization/#NFT use cases beyond art.
Disrupt #OSS: https://license-token.com
Nicolas Diaz Ferreyra @nicolasediaz.bsky.social Senior Researcher and Lecturer at SoftSec@TUHH 🏫 Ph.D 🎓 Computer Scientist 🖥 #usablesecurity #HCI #EmpiricalSoftwareEngineering Argentinian in Germany 🇦🇷🇩🇪
🌎 https://www.ndiaz-ferreyra.com/
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 
Arie van Deursen @avandeursen.bsky.social Professor in software engineering at Delft University of Technology, The Netherlands. I'm mostly active on Mastodon, as https://mastodon.acm.org/@avandeursen 
@drdrcolin.bsky.social @drdrcolin.bsky.social 
Digital Humanism Conference @dighum.wien The Digital Humanism Conference 2026 will take place Vienna on 24–26 June. Join us!
❯❯❯ Orientation in turbulent times ❮❮❮
Organised by @digitalhumanism.at in partnership with @eudhit.eu.
••• dighum.wien •••
#DigHum2026 #DigitalHumanism
Sepideh Ghanavati @sepi-gh.bsky.social Associate Professor, Privacy, Security, Software Engineering at UMaine
https://www.sepidehghanavati.com
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.
@ccadar.bsky.social @ccadar.bsky.social 
Abhik Roychoudhury @abhikrc.bsky.social Professor of Computer Science at National University of Singapore
https://abhikrc.com
Yuriy Brun @yuriybrun.bsky.social Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
Daniel Mendez @mendezfe.org Professor for Empirical Software Engineering, interested in Open Science and Public Outreach. Hiding sometimes in the water.
🔗 http://www.mendezfe.org
@gregorkiczales.bsky.social @gregorkiczales.bsky.social 
Eoin Woods @eoinwoods.bsky.social Software architecture consultant, family, software architecture, devops & security in between, trumpet and quick cars whenever I can. Also at threads/@eoinwoodz.
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.
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 🇨🇦.
Andreas Wortmann @andwor.bsky.social Prof. Software Engineering | University of Stuttgart, ISW | Editor at SoSyM & JoT | EAPLS | www.wortmann.ac
Oscar Chaparro @ojcchar.bsky.social Assistant Professor at Willliam & Mary, teaching and conducting research in Software Engineering.
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.
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
Young Citizens of the World @ycw-jcm.bsky.social Young Citizens of the World is
Connecting over 1 million students and 10,000 teachers globally with inspiring leaders through interviews, education, and dialogue to shape a brighter future.
Digital Freedom Foundation @digitalfreedoms.bsky.social Celebrating Software Freedom Day every third Saturday of September!
Also celebrating Hardware Freedom Day and Document Freedom Day
Want to join us? https://digitalfreedoms.org
Tom Mens @tom-mens.bsky.social Professor in Software Engineering at University of Mons, Belgium
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/- S Klaus Schmid @sklaus.bsky.social Working on future software engineering technologies and teaching about it.
Hashini Gunatilake @hashini.bsky.social Researcher. Swiftie.
RunningRedLights @runningredlights.bsky.social Music twice, Tech once. Priorities sorted.
Angelo Salatino @angelosalatino.bsky.social Research Fellow and Associate Lecturer - @kmiou.bsky.social from The Open University.
Research interests: #AI #KnowledgeGraphs #MetaScience #NetworkScience & #SemanticWeb.
JuveFC fan. wd:Q58225772
🌐 https://salatino.org
📍 Bletchley, Milton Keynes, UK
Ivano Malavolta @imalavolta.bsky.social Associate professor in Software Engineering at #VUamsterdam | Director of Network Institute | https://www.ivanomalavolta.com
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Gillian Murphy @gillian-murphy.bsky.social Senior lecturer in Applied Psychology at University College Cork, Ireland.
PI: everydaycognitionlab.com
Memory - misinformation - research ethics - conspiracy theories - deepfakes
☘️ Come to Ireland for SARMAC 2025! www.sarmac2025.org ☘️
PAT Research Group @patlabucc.bsky.social The People and Technology (PAT) research group in the School of Applied Psychology, University College Cork, Ireland. We study, design & evaluate digital technologies + interactions.
Tweets and views by the team.
@torkarr.bsky.social @torkarr.bsky.social 
Ihsen @ihsen.bsky.social Academic working on Trustworthy AI, Truth seeker, Coffee drinker, Anti-Genocide (well... yes, we live in times where this is no longer obvious, don’t we?)
Amira @amiranuseibeh.bsky.social MSc Conservation and Biodiversity student at University of Exeter, Cornwall.
Passionate naturalist, ornithologist and aspiring conservationist.
BTO Youth Rep
Neil R. Edwards @neil-r-edwards.bsky.social Earth System Modeller, #climate and #sustainability researcher,
Director for Sustainability Research,
Open Societal Challenges Programme, The Open University, UK
RobertoC @tinotini.bsky.social Researcher @AppPsychUCC Responsible Software, HCI, Participatory Design, STS, citizen science, open and social innovation, gender+. [Space for something funny]
Markus Borg @mrksbrg.bsky.social Principal Researcher CodeScene | Adjunct Associate Professor Lund University. Interests: software engineering intelligence, quality assurance, maintainability.
John Grundy @profjohngrundy.bsky.social Husband, dad, getting-ever-slower runner, audiobook freak, and occasional ARC Laureate Professor
https://sites.google.com/site/johncgrundy
Valerie O'Neill @minabird.bsky.social Thinking of upgrading to a CMP that respects citizen choices?
Get in touch at baycloud.com !
Independent European, security & privacy-first CMP
integrated cookie-free alternative to GA
co- founder with @mikeoneillcloud.bsky.social
Mancunian, mum of 3
@kellycaine.bsky.social @kellycaine.bsky.social 
European Commission @ec.europa.eu News and information from the European Commission. Social media and data protection policy: http://europa.eu/!MnfFmT
Jose Such @josesuch.bsky.social Research Professor at the Spanish National Research Council (CSIC). Head of Human-Centred & AI Security, Ethics and Privacy Lab - https://hasp-lab.github.io
Serge Egelman @v0max.bsky.social Scientist. Dir. of Usable Security & Privacy at the International Computer Science Institute (icsi.berkeley.edu). Founder, AppCensus (appcensus.io). All opinions are those of his employer(s), and not his own.
https://www.guanotronic.com/~serge/
Mary Ellen Zurko @mzurko.bsky.social CyberSecurity with an emphasis on human use, integration, and impacts. Matron Saint of Usable Security. The only "Mary Ellen Zurko" on the web. 
Shane McHugh @shanemchugh.bsky.social Talking about engineering, technology, research security and systems thinking. Fan of cats, Arsenal, weird lit, and both kinds of music. 
@irumrauf.bsky.social @irumrauf.bsky.social 
David Baddiel @realbaddiel.bsky.social On here too
CREST @crest-research.bsky.social The Centre for Research and Evidence on Security Threats (CREST) is the UK’s hub for behavioural and social science research into security threats. https://crestresearch.ac.uk/
Leverhulme Trust @leverhulme.ac.uk An independent charity that seeks to fund blue skies research and scholarship. Follow this channel for details on upcoming grant deadlines, published research, scheme opening dates, grant announcements, events, and more. https://www.leverhulme.ac.uk/
profserious @profserious.bsky.social Technology, Software, Policy, Security, Universities, Art, Antiques, Cats. https://finkelstein.uk
Axel 👨💻 Developer @axelgarciak.bsky.social 👨💻 Software Engineer 💾 Software minimalist/retro
🤖 AI tinkerer 🏗️ Building tech communities
🇪🇺 UK 🇬🇧🇩🇪🇻🇪 | Check bio: axelgarciak.com/bio
Tudor Girba @tudorgirba.com CEO feenk.com
We modernize legacy systems.
Through Moldable Development.
Bantshire University @bantshireuni.bsky.social We throb knowledge, we pulse excellence. Ranked No.1 in the UK for Canteen Facilities (CEF, 2024). Vice-Chancellor Vince Chancelier (He/VC). Parody.
Martin Shepperd @profmshepperd.bsky.social I am a computer scientist working at Brunel University of London. I also enjoy music and ride motorbikes (usually British or Italian).
Sebastian Baltes @sbaltes.bsky.social Software Engineering & Empirical Research
https://empirical-software.engineering
Mehdi Hasan @mehdirhasan.bsky.social Editor and CEO, Zeteo
Author, ‘Win Every Argument’
British-American
Mary Shaw @mary-shaw.bsky.social computer scientist, bicyclist, whitewater canoeist, active transportation advocate
The New York Times @nytimes.com We seek the truth and help people understand the world. Not a subscriber? Your first month is now free in our app. https://nytimes.onelink.me/Xpht/zbx4nci9
@kevinsullivannn.bsky.social @kevinsullivannn.bsky.social 
Mehdi Jazayeri @mehdijazayeri49.bsky.social 
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Rory Cellan-Jones @rorycj.bsky.social Technology, Parkinson’s, #sophiefromromania
Geoff Peters @geoffpet.bsky.social e.Prof Systems Strategy
Sometime: Pro Vice Chancellor
Head Open University Law School
Dean Technology
- J JB @jbezivin.bsky.social "Let's cultivate our garden"
Voltaire
Reuters @reuters.com 
UK Research and Innovation @ukri.org The UK’s largest public funder of research. Our mission is to advance knowledge, improve lives and drive growth.
#FundedByYou
Also autoposting to @news.ukri.org, @funding.ukri.org, @blogs.ukri.org and @events.ukri.org. Topic specific feeds coming soon!
RUSI @rusi.bsky.social Royal United Services Institute for Defence and Security Studies. Founded in 1831, RUSI is the oldest defence and security think tank in the world.
Website 💻: https://rusi.org/
WhatsApp 📱: https://bit.ly/4h0M5FQ
The Royal Society @royalsociety.org The Royal Society is a Fellowship of many of the world's most eminent scientists and is the oldest scientific academy in continuous existence.
https://royalsociety.org/
Royal Academy of Engineering @raeng.org.uk We create and lead a community of outstanding experts and innovators to engineer better lives. Find out more: raeng.org.uk
@eclupu.bsky.social @eclupu.bsky.social 
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.
Michele Lanza @lanzamichele.bsky.social 
Foutse @swatlab.bsky.social 
Kent Beck @kentbeck.com Independent I guess these days you'd say content producer, artist, programmer, musician, pokerist. More about me at https://KentBeck.com.
Madeline Endres @cellocorgi.bsky.social Assistant Professor, Software Engineering, UMass Amherst! madelineendres.com
@bradamyers.bsky.social @bradamyers.bsky.social 
Philipp Leitner @philippleitner.net Associate Professor @ Chalmers University of Technology
http://icet-lab.eu
Nicolas Cardozo @ncardozo.bsky.social Person. Working on programming languages, and (dynamic) verification. Enjoyer of adaptive and distributed systems. Associate Professor @flaglaboratory.bsky.social @DISCuniandes @Uniandes
Also live(ish) at @ncardozo@fediscience.org
Judith Michael @judithmichael.bsky.social Full Prof at University of Regensburg, Germany | Passionate for research | #SoftwareEngineering #Modeling #DigitalTwins | private tweets
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Kami Vaniea @kaniea.bsky.social Usable Security and Privacy researcher
Jason Hong @jas0nh0ng.bsky.social Professor - Carnegie Mellon University - Human Computer Interaction
Ubiquitous Computing - Usable Privacy and Security - Responsible AI
Co-Founder - Wombat Security (acquired) - FuguUX