About Volker Stolz

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

Lists

Timeline

fm_volker has no activity yet