Followers

Formal Methods Europe

@fme@mastodon.acm.org

Jacob Krüger

@jkrueger@mastodon.acm.org

Olaf Lessenich

@xai@chaos.social

SPLC 2025

@splcconf@mastodon.social

Max Heisinger

@maximaximal@fosstodon.org

Max Heisinger

@maximaximal@troet.cafe

Oscar Nierstrasz

@onierstrasz@mastodon.social

Andreas Wortmann

@andwor@mastodon.acm.org

Wesley K. G. Assunção

@wesleyk@mastodon.acm.org

Stefan Mühlbauer

@smba@mas.to