Followers

Mikko Heikkilä

@mixheikk@mathstodon.xyz

Arie van Deursen

@avandeursen@mastodon.acm.org

Ulrik Nyman ⬡

@UlrikNyman@mastodon.social

Formal Methods Europe

@fme@mastodon.acm.org

Eleni Tzirita Zacharatou

@elza@social.itu.dk

Andrzej Wąsowski ☑️ 🟥

@AndrzejWasowski@social.itu.dk

Louise Dennis

@louiseadennis@mstdn.social

FMASWorkshop

@FMASWorkshop@mastodon.acm.org

ijk64✅

@ijk64@m.futex.au

Dims

@dims@mastodon.social

Johan Linåker

@johanlinaker@mastodon.acm.org