Marius Mikučionis @MariusM@qoto.org

Research Software Engineer and Lector at AAU, everything about Uppaal verification and testing.

Joined Jun 2022

13 Following 6 Followers

ACCUConf @ACCUConf@mastodon.social

Phil Nash @philsquared@vmst.io

Formal Methods Europe @fme@mastodon.acm.org

Florian 'floe' Echtler @floe@hci.social

FMASWorkshop @FMASWorkshop@mastodon.acm.org

Arie van Deursen @avandeursen@mastodon.acm.org

Nicolai Brodersen Hansen @nbhansen@mastodon.social

Katja Hose @katjahose@mastodon.social

DEIS @DEIS_aau_dk@sciencemastodon.com

Ulrik Nyman ⬡ @UlrikNyman@mastodon.social

Matt Parker @standupmaths@mathstodon.xyz

QOTO User Count @users@qoto.org