blankpad.net

Volker Stolz

@fm_volker@mastodon.social

Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selabhvl.
https://λ.foldr.org/~vs/. Relapses into #FreeBSD.
#bergen - nordisk by nature. #FormalMethods #RuntimeVerification #Refactoring #HomeAssistant

Private https://lambda.foldr.org/~vs/

Work https://selabhvl.github.io/vsto/

Github https://github.com/VolkerStolz

DBLP https://dblp.org/pid/24/2502.html

This is a member of another server. See their original profile ➔