Followers

Yutaka

@yutakang_en@mastodon.social

Christoph Jabs

@chrjabs@mstdn.science

Scott Neville

@drScott@mathstodon.xyz

Pavlo Shopin

@pavloshopin@mastodon.social

Carlo A. Furia

@bugcounting@mastodon.acm.org

Jeroen Keiren

@jkeiren@mastodon.acm.org

Constraints Journal

@constraintsjournal@mastodon.acm.org

Formal Methods Europe

@fme@mastodon.acm.org

Andrzej Wąsowski ☑️ 🟥

@AndrzejWasowski@social.itu.dk