This user hasn't set any names or pronouns yet.
This user hasn't set any names or pronouns yet.
People Formal Methods for Autonomous Systems follows on Bluesky
Brian McRoberts
@brimcrob.bsky.social
C.S.Negri
@csnegri.bsky.social
@floc2026.bsky.social
heartpunk (sophie!!)
@heartpunk.bsky.social
asker the gauche, glycojohn destroyer of carbs
@johnbender.bsky.social
Steve Klabnik
@steveklabnik.com
Rebus Tóthné Farkas
@rebusfarkas.bsky.social
AIEthica - Responsible AI from A-Z
@aiethica.bsky.social
cynsational
@cynrdrgz.bsky.social
@jorgballesteros.bsky.social
Kel Guerin
@kelguerin.bsky.social
Andrew Davison
@ajdavison.bsky.social
Mary Ellen Foster
@maryellenfoster.bsky.social
Mike Dodds
@m-dodds.bsky.social
@kikofernandezreyes.bsky.social
Evan Ackerman
@evanackerman.bsky.social
Davide Faconti
@facontidavide.bsky.social
Stop Killer Robots
@stopkillerrobots.bsky.social
tosem
@acm-tosem.bsky.social
Nicola Bellotto
@nbellotto.bsky.social
Adam
@neutrinos4all.bsky.social
Russell Wald
@russellwald.bsky.social
David De Roure
@david.deroure.org
Chris Marsden
@chrismarsden.bsky.social
ACM FAccT
@facct.bsky.social
@furiousengineering.bsky.social
Siddartha Khastgir
@siddkhastgir.bsky.social
Matt Luckcuck
@mattluckcuck.bsky.social
Nassim Parvin
@nassimparvin.bsky.social
Centre for Assuring Autonomy
@cfaa.bsky.social
FormaliSE
@formalise.bsky.social
@seamsconf.bsky.social
Liliana Pasquale
@lsalander.bsky.social
International Conference on Software Engineering
@icseconf.bsky.social
Volker Stolz
@fm-volker.mastodon.social.ap.brid.gy
Xiaowei Huang
@xiaowei2023.bsky.social
Mark Sujan
@marksujan.bsky.social
Robert Hawkins
@rdhawkins.bsky.social
VCLA | TU Wien
@vclatuwien.bsky.social
Bijan Parsia
@bparsia.bsky.social
Marija Slavkovik
@mslavkovik.bsky.social
Merel Noorman
@mereln.bsky.social
Shaukat Ali
@shukat-ali.bsky.social
Erin Nolan
@erinnolan.bsky.social
Marina Jirotka
@marenka.bsky.social
Risa Ueno
@risaueno.bsky.social
Helen Francis
@helenfrancis21.bsky.social
Remco Timmermans
@timmermansr.bsky.social
Thomas H Zurbuchen
@drthomasz.bsky.social
João F. Ferreira
@jff-dev.bsky.social