@ninformatic.bsky.social @ninformatic.bsky.social 
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
Pierre-Yves Hurel @pyhurel.bsky.social Postdoc researcher in Lausanne, Switzerland
Video game history & hobbyists
Stéphane Mouton @smouton.bsky.social IT enthusiast, from new technologies to vintage computing. Software architect with a taste for DEVOPS. Opinions are mine.
Vincent ENGLEBERT @vincent-englebert.bsky.social Academic, addicted to metamodelling & MDE (but I look after myself), computer scientist, passionate about (street) photography and gastronomy, loves animals (including the human subspecies).
📸👨🍳🚲🚶🌈💻🇧🇪🇪🇺🇺🇦🕊️🐶👨🏫🤡
http://www.englebert.eu
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him