×
You are not logged in
Bluesky Follows
Formal Methods for Autonomous Systems
Follows by @fmasworkshop.bsky.social
Brian McRoberts
Registered:13 Oct 2023 10:17
Follow date:10 Mar 2026 19:35
Last post:38 minutes ago
Last like given:4 hours ago
Last like received:8 minutes ago
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.wordp...
C.S.Negri
Registered:15 Nov 2024 11:43
Follow date:10 Mar 2026 19:35
Last post:4 hours ago
Last like given:4 hours ago
Last like received:10 hours ago
Requirements Eng/Computer Sc | MSCA postdoc at Uni Luxembourg | RP/like ≠ endorsement | Faltas ortográficas | Sometimes != serious | Somewhere in France/Lux
I talk about data protection, privacy, (ciber)security, EU, USA and Chilean politics. Coffee ❤️
floc2026.bsky.social
Registered:18 Jul 2025 08:27
Follow date:10 Mar 2026 19:34
Last post:24 Feb 2026
Last like received:1 day ago
heartpunk (sophie!!)
Registered:25 Sep 2023 18:22
Follow date:10 Mar 2026 19:34
Last post:4 minutes ago
Last like given:3 minutes ago
Last like received:22 minutes ago
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
asker the gauche, glycojohn destroyer of carbs
Registered:7 Jul 2023 03:39
Follow date:10 Mar 2026 19:34
Last post:19 hours ago
Last like given:32 minutes ago
Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
Steve Klabnik
Registered:10 Apr 2023 22:57
Follow date:10 Mar 2026 19:34
Last post:4 minutes ago
Last like given:57 seconds ago
Last like received:3 minutes ago
Rebus Tóthné Farkas
Registered:26 Nov 2024 17:31
Follow date:10 Mar 2026 16:41
Last post:28 minutes ago
Last like given:38 minutes ago
Last like received:22 minutes ago
AIEthica - Responsible AI from A-Z
Registered:28 Nov 2024 15:44
Follow date:10 Mar 2026 16:40
From ethical consulting of new projects, ethics training for developers, managers as well as regulatory support to day-to-day practical model risk management, at AIEthica, we offer a comprehensive range of services tailored to support your responsible AI.
cynsational
Registered:21 Nov 2024 01:21
Follow date:10 Mar 2026 16:40
jorgballesteros.bsky.social
Registered:22 Nov 2024 19:05
Follow date:10 Mar 2026 16:40
Kel Guerin
Registered:14 Nov 2024 02:49
Follow date:10 Mar 2026 16:40
Andrew Davison
Registered:28 Nov 2024 14:01
Follow date:10 Mar 2026 16:39
From SLAM to Spatial AI; Professor of Robot Vision, Imperial College London; Director of the Dyson Robotics Lab; Co-Founder of Slamcore. FREng, FRS.
Mary Ellen Foster
Registered:14 Nov 2024 11:24
Follow date:10 Mar 2026 16:39
Last post:1 Jan 2026
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...
Mike Dodds
Registered:21 Nov 2024 21:22
Follow date:10 Mar 2026 16:39
Last post:7 days ago
Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
kikofernandezreyes.bsky.social
Registered:10 Apr 2025 12:14
Follow date:10 Mar 2026 16:39
Evan Ackerman
Registered:25 Jul 2023 23:20
Follow date:10 Mar 2026 16:39
Last post:5 days ago
Senior editor at IEEE Spectrum. I hug robots.
spectrum.ieee.org
Davide Faconti
Registered:7 Feb 2024 06:24
Follow date:10 Mar 2026 16:39
Doing robotics, open source software and programming in C++, for fun and profit.
Stop Killer Robots
Registered:29 Nov 2024 17:08
Follow date:10 Mar 2026 16:39
Last post:2 days ago
Stop Killer Robots works to ensure human control in the use of force. Our campaign calls for new international law on autonomy in weapons systems. #TeamHuman
tosem
Registered:17 Jan 2025 05:42
Follow date:10 Mar 2026 16:39
Last post:30 Jan 2026
Nicola Bellotto
Registered:16 Nov 2024 07:48
Follow date:10 Mar 2026 16:39
Associate Prof @ UniPD
Machine Intelligence Group @ IAS-Lab
https://iaslab.dei.unipd.it/gr...
Adam
Registered:23 Nov 2024 12:39
Follow date:10 Mar 2026 16:39
“We predict the future. And the best way to predict it is to invent it.” Formal methods, command and control, PhD, ham@KC3OUT.
Russell Wald
Registered:3 Jan 2025 21:39
Follow date:10 Mar 2026 16:39
Executive Director at Stanford HAI, Steering Committee Member at AI Index. Passionate about social implications of tech and governance of AI.
David De Roure
Registered:6 Dec 2024 19:11
Follow date:10 Mar 2026 16:39
Oxford interdisciplinary prof: music & AI, digital & scholarship, AI & cyber, web science & social machines, Lovelace & creativity, jazz & bass
Chris Marsden
Registered:26 Jul 2023 01:28
Follow date:10 Mar 2026 16:38
Last post:14 hours ago
Last like given:11 hours ago
Last like received:21 hours ago
ACM FAccT
Registered:23 Oct 2024 09:18
Follow date:10 Mar 2026 16:38
Last post:5 Feb 2026
ACM Conference on Fairness, Accountability, and Transparency (ACM FAccT). June 2026 in Montreal, Canada 🇨🇦 #FAccT2026
https://facctconference.org/
furiousengineering.bsky.social
Registered:27 Nov 2024 21:58
Follow date:10 Mar 2026 16:33
Siddartha Khastgir
Registered:15 Nov 2024 20:52
Follow date:10 Mar 2026 16:33
Last post:30 Dec 2025
Creating Safe SelfDriving Tech & Safe AI
UKRI Future Leaders Fellow, WMG, Uni of Warwick, UK
Director, PAVE UK
ForbesUnder30 alum
TEDx speaker
IITKgp
4ever ManUtd
Interests: Transport, EDI, ⚽️
Matt Luckcuck
Registered:10 Sep 2023 15:18
Follow date:10 Mar 2026 16:20
Last post:2 hours ago
Last like given:8 minutes ago
Last like received:2 minutes ago
(Slightly Less) Precarious Computer Scientist | Nullius in verba
Nassim Parvin
Registered:19 Nov 2024 04:31
Follow date:10 Mar 2026 16:20
Last post:28 Feb 2026
Prof. & Associate Dean of IDEAS at the iSchool, University of Washington | Design Justice, Feminist Philosophy, & Feminist STS | Recent book w/ Neda Atanasoski: “Technocreep & the Politics of Things Not Seen.” Ideas my own!
Centre for Assuring Autonomy
Registered:20 Nov 2024 16:32
Follow date:10 Mar 2026 16:19
Last post:11 Feb 2026
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.
FormaliSE
Registered:9 Oct 2025 12:44
Follow date:10 Mar 2026 16:19
International Conference on Formal Methods in Software Engineering
seamsconf.bsky.social
Registered:20 Jan 2025 11:18
Follow date:10 Mar 2026 16:19
Liliana Pasquale
Registered:20 Nov 2024 22:06
Follow date:10 Mar 2026 16:19
Associate Professor @ University College Dublin | Director of the MSc in Cybersecurity @ University College Dublin
Research Interests: Software Engineering, Requirements Engineering & Cybersecurity
International Conference on Software Engineering
Registered:10 Sep 2024 15:29
Follow date:10 Mar 2026 16:19
Last post:5 days ago
The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/hom...
Volker Stolz
Registered:31 May 2024 16:32
Follow date:10 Mar 2026 16:19
Last post:1 day ago
Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selab...
https://λ.foldr.org/~vs/ […]
🌉 bridged from ⁂ https://mastodon.social/@fm_vo... follow @ap.brid.gy to interact
Xiaowei Huang
Registered:23 Nov 2024 06:49
Follow date:10 Mar 2026 16:19
Postdoc in Stanford University
Mark Sujan
Registered:19 Nov 2024 17:50
Follow date:10 Mar 2026 16:19
Chartered Ergonomist (C.ErgHF). Interested in human factors and safety science.
Robert Hawkins
Registered:25 Jul 2023 19:35
Follow date:10 Mar 2026 16:19
asst prof @Stanford linguistics | director of social interaction lab 🌱 | bluskies about computational cognitive science & language
VCLA | TU Wien
Registered:24 Feb 2025 10:09
Follow date:10 Mar 2026 16:18
Last post:18 Dec 2025
The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms.
https://www.vcla.at
Bijan Parsia
Registered:10 Oct 2023 11:39
Follow date:10 Mar 2026 16:18
Last post:4 hours ago
Last like given:3 hours ago
Last like received:3 hours ago
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.
Marija Slavkovik
Registered:6 Apr 2025 16:44
Follow date:10 Mar 2026 16:18
Last post:11 Dec 2025
collector of snowflakes. professor of AI at @UiB in Norway.
Merel Noorman
Registered:9 Nov 2023 11:39
Follow date:10 Mar 2026 16:18
Ethics, Governance, AI, Tilburg Institute for Law Technology and Society
Shaukat Ali
Registered:17 Nov 2024 16:27
Follow date:10 Mar 2026 16:18
Erin Nolan
Registered:31 Jan 2024 17:22
Follow date:10 Mar 2026 16:18
Covering Maui for Honolulu Civil Beat. Formerly: The New York Times, The Times Herald-Record, The Salem News and The Eagle-Tribune
Marina Jirotka
Registered:15 Nov 2024 18:47
Follow date:10 Mar 2026 16:18
Last post:1 day ago
Last like received:23 hours ago
Professor Human Centred Computing - University of Oxford - passionate about nature animals and the wild
Risa Ueno
Registered:29 Nov 2024 17:51
Follow date:10 Mar 2026 16:18
Helen Francis
Registered:15 Jan 2025 17:02
Follow date:10 Mar 2026 16:18
Well I’m easy going and a very intelligent person and I’m looking for love , I’m like the wind I’m everywhere you just gotta find me at Tellhergram it’s so simple youser @helenfrance23
Remco Timmermans
Registered:25 Apr 2023 23:46
Follow date:10 Mar 2026 16:18
🚀🛰️ Social media for space at spaceagenda.com and spaceside.eu | Co-founder of SpaceCommsAlliance.com | Faculty at ISUnet.edu | #DigitalNomad
🌍citizen 🇳🇱passport 🇬🇧resident 🇪🇪e-resident
Thomas H Zurbuchen
Registered:31 Aug 2023 09:47
Follow date:10 Mar 2026 16:18
Scientist, Explorer, Innovator, ETH Prof, NASA’s head of Science 2016-2022
João F. Ferreira
Registered:19 Dec 2024 14:10
Follow date:10 Mar 2026 16:18
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com