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
Underviser i
  • DAT153, Mobile og distribuerte applikasjonar, Vår 2025
  • DAT191, Bacheloroppgåve, Vår 2025
  • DAT300, Masteroppgåve, Høst 2024
  • DAT300, Masteroppgåve, Vår 2025
  • DAT355, Modelldriven programvareutvikling og pålitelege programvaresystem, Vår 2025
  • ING303, Systemtenking og innovasjon for ingeniørar , Høst 2024
  • PCS900, PhD disputas i datateknologi:programvareutvikling, berekningsorientert ingeniørvitskap og sensornettverk, Høst 2024
  • PCS900, PhD disputas i datateknologi:programvareutvikling, berekningsorientert ingeniørvitskap og sensornettverk, Vår 2025

Publikasjonar

Vis alle
Laster...