Volker Stolz
Unprofessional takes on CompSci and other things. Card-carrying member of Gesellschaft für Informatik eV (npub16ec…uf6k). Sub-tooter at https://fediscience.org/@selabhvl. Part of the control-group.
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
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
Public Key
npub1ekfxfe870vw8fhdycalmru24k60z7hvs8n9kvzdwnuxhdt46cvesjfnu8gNIP-05 Address
fm_volker_at_mastodon.social@momostr.pinkProfile Code
nprofile1qqsvmynyunl8k8r5mkjvwla3792md830tkgrejmxpxhf7rtk46avxvcpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsdvsyjgAuthor Public Key
npub1ekfxfe870vw8fhdycalmru24k60z7hvs8n9kvzdwnuxhdt46cvesjfnu8g