Arbeids- og kompetanseområde

Min hovedinteresse er programmeringsspråk og testing av programvare. Jeg utvikler nye verktøy som hjelper utviklerne å bli mer produktive. Det vil si at de kan utvikle raskere og tryggere, med mindre antall feil i koden. Som brukere opplever vi dette ved å ha mindre antall crasher i mobilapplikasjoner, websider og andre programvarer vi bruker.

Publikasjoner (inkl. pre-prints): CRIStin
Last ned CV: https://lambda.foldr.org/~vs/stolz-4p.pdf
Mastodon: @fm_volker@mastodon.social

Avsluttede prosjekter:

Underviser i
  • DAT153 "Mobile Application Development"
  • DAT355 "Model-driven Software Engineering and Reliable Software Systems"
  • PCS954 "Model Checking and Software Verification"
  • DAT159 "Refactoring"
Forskar på
  • Software Engineering
  • Testing & Monitoring
  • Runtime Verification
  • Formal Methods
Forskargrupper