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:
- MSCA DN "TUAI - Towards an Understanding of Artificial Intelligence" https://tuai.eu
- General Chair ECOOP'25
Avsluttede prosjekter:
- EU H2020 project "COEMS - Continuous Observation of Embedded Multicore Systems"
- AURORA bilateral project "SecuTrace" NO/FR (2020-2022)
- DIKU/CAPES bilateral project "Modern Refactoring" NO/BR (2017-2021)
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
Forskargrupper
- Smart Software System (S3) IoT research lab
- Software Engineering
- 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
