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
- IoT
Forskargrupper
- Smart Software System (S3) IoT research lab
- Software Engineering
Andre oppgaver
- Studieprogramansvarlig INF/INF-F/INF-H
- Utvekslingskoordinator DATA & INF
- 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
-
Toward Digital-Twin-Assisted Data Acquisition in Underwater Acoustic Sensor Networks
-
Automated Clone Elimination in Python Tests
-
Evaluation of K-Means Time Series Clustering Based on Z-Normalization and NP-Free
-
Runtime Verification of Timed Petri Nets
-
Preface: Special issue on Theoretical Aspects of Computing
Laster...