Followers
@nahsimai.bsky.socialSamuel Teuber @ PLDI @teuber.bsky.social Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification) Currently migrating from Twitter (@teuber_dev) www.teuber.dev
Sergio Merz, M.A. @sergiomerz-spd.bsky.social Ich bin studierter Sozialwissenschaftler. Wissenschaft und Gesellschaft🔎 Themen: Verwaltung & Politik 📌 Mehr von mir: • Facebook: https://www.facebook.com/sergio.merz • X: https://x.com/sergio_merz • Instagram: https://www.instagram.com/herr_sergio_merz
Éric Vautier @ericvautier.bsky.social Web developer. History enthusiast (especially about Reformation). Avid Sci-fi reader. London-based.
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
ACM Special Interest Group on AI @acmsigai.bsky.social Association for Computing Machinery Special Interest Group in Artificial Intelligence: https://sigai.acm.org/main/
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Chris @chr1s.bsky.social Occasional computer user. I like ☕ and infrastructure. https://mastodon.social/@chr1stian and https://twitter.com/@_that_chris . Gopher. ʕ◔ϖ◔ʔ