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.

Last ned CV: https://lambda.foldr.org/~vs/stolz-4p.pdf
Mastodon: @fm_volker@mastodon.social

Pågående prosjekt:

Avsluttede prosjekter:


Underviser i

  • DAT153 "Mobile Application Development"
  • DAT355 "Model-driven Software Engineering and Reliable Software Systems"
  • PCS955 "Model Checking and Software Verification"
  • DAT159 "Refactoring"

Forskar på 

  • Software Engineering
  • Testing & Monitoring
  • Runtime Verification
  • Formal Methods
  • IoT

Forskargrupper 

Andre oppgaver

  • Studieprogramansvarlig INF/INF-F/INF-H
  • Utvekslingskoordinator DATA & INF
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...