Formal Methods for Autonomous Systems
500 following
LightNews LightNews
kir∅ul
kir∅ul
@kiroul.org
Fernanda Graciolli
Fernanda Graciolli
@heyyfernanda.bsky.social
sawyer
sawyer
@sawyer-p.me
Fabrizio Montesi
Fabrizio Montesi
@fmontesi.bsky.social
Masahiro Sakai
Masahiro Sakai
@msakai.bsky.social
Antithesis
Antithesis
@antithesis.com
Michele Alberti
Michele Alberti
@lambdaxdotx.bsky.social
Dirk-Jan Swagerman
Dirk-Jan Swagerman
@djswagerman.buffadoo.nl
Brian McRoberts
Brian McRoberts
@brimcrob.bsky.social
C.S.Negri
C.S.Negri
@csnegri.bsky.social
FLoC 2026
FLoC 2026
@floc2026.bsky.social
heartpunk (sophie!!)
heartpunk (sophie!!)
@heartpunk.com
asker the gauche, glycojohn destroyer of carbs
asker the gauche, glycojohn destroyer of carbs
@johnbender.bsky.social
Steve Klabnik
Steve Klabnik
@steveklabnik.com
Rebus Tóthné Farkas
Rebus Tóthné Farkas
@rebusfarkas.bsky.social
AIEthica - Responsible AI from A-Z
AIEthica - Responsible AI from A-Z
@aiethica.bsky.social
cynsational
cynsational
@cynrdrgz.bsky.social
jorgballesteros.bsky.social
jorgballesteros.bsky.social
@jorgballesteros.bsky.social
Kel Guerin
Kel Guerin
@kelguerin.bsky.social
Andrew Davison
Andrew Davison
@ajdavison.bsky.social
Mary Ellen Foster
Mary Ellen Foster
@maryellenfoster.bsky.social
Mike Dodds
Mike Dodds
@m-dodds.bsky.social
kikofernandezreyes.bsky.social
kikofernandezreyes.bsky.social
@kikofernandezreyes.bsky.social
Evan Ackerman
Evan Ackerman
@evanackerman.bsky.social
Davide Faconti
Davide Faconti
@facontidavide.bsky.social
Stop Killer Robots
Stop Killer Robots
@stopkillerrobots.bsky.social
tosem
tosem
@acm-tosem.bsky.social
Nicola Bellotto
Nicola Bellotto
@nbellotto.bsky.social
Adam
Adam
@neutrinos4all.bsky.social
Russell Wald
Russell Wald
@russellwald.bsky.social
David De Roure
David De Roure
@david.deroure.org
Chris Marsden
Chris Marsden
@chrismarsden.bsky.social
ACM FAccT
ACM FAccT
@facct.bsky.social
furiousengineering.bsky.social
furiousengineering.bsky.social
@furiousengineering.bsky.social
Siddartha Khastgir
Siddartha Khastgir
@siddkhastgir.bsky.social
Matt Luckcuck
Matt Luckcuck
@mattluckcuck.bsky.social
Nassim Parvin
Nassim Parvin
@nassimparvin.bsky.social
Centre for Assuring Autonomy
Centre for Assuring Autonomy
@cfaa.bsky.social
FormaliSE
FormaliSE
@formalise.bsky.social
seamsconf.bsky.social
seamsconf.bsky.social
@seamsconf.bsky.social
Liliana Pasquale
Liliana Pasquale
@lsalander.bsky.social
International Conference on Software Engineering
International Conference on Software Engineering
@icseconf.bsky.social
Volker Stolz🏳️‍🌈
Volker Stolz🏳️‍🌈
@fm-volker.mastodon.social.ap.brid.gy
Xiaowei Huang
Xiaowei Huang
@xiaowei2023.bsky.social
Mark Sujan
Mark Sujan
@marksujan.bsky.social
Robert Hawkins
Robert Hawkins
@rdhawkins.bsky.social
VCLA | TU Wien
VCLA | TU Wien
@vclatuwien.bsky.social
Bijan Parsia
Bijan Parsia
@bparsia.bsky.social
Marija Slavkovik
Marija Slavkovik
@mslavkovik.bsky.social
Merel Noorman
Merel Noorman
@mereln.bsky.social
Load more