معرفی
Volker Stolz is a Professor at the Department of Informatics, University of Bergen, within the Faculty of Mathematics and Natural Sciences. He teaches Mobile Application Development (DAT153), Model-driven Software Engineering (DAT355), Model Checking (PCS955), and Refactoring (DAT159). He serves as program director for INF/INF-F/INF-H programs and exchange coordinator for DATA & INF, with his office located at Kronstad (D403).
His research focuses on Software Engineering, particularly Programming Languages and Software Testing, where he develops productivity tools to create safer, faster code with fewer crashes in applications. His work spans Runtime Verification, Formal Methods, and Internet of Things (IoT), emphasizing model-driven approaches for reliable software systems in mobile and web environments.
Recent publications (2024-2025) demonstrate deep engagement with Runtime Verification for timed systems, advanced software testing techniques like clone elimination, and emerging applications in IoT data acquisition. His work bridges theoretical computer science with practical engineering challenges, particularly in time-series analysis and formal verification of concurrent systems.
Stolz leads significant research initiatives including:
- Ongoing: MSCA DN "TUAI - Towards an Understanding of Artificial Intelligence"
- Completed: EU H2020 project "COEMS - Continuous Observation of Embedded Multicore Systems"
- Completed: AURORA bilateral project "SecuTrace" (NO/FR, 2020-2022)
- Completed: DIKU/CAPES bilateral project "Modern Refactoring" (NO/BR, 2017-2021)
He actively contributes to the Smart Software System (S3) research group and IoT research lab at the University of Bergen, driving innovation in software verification and reliable system development through collaborative projects and industry partnerships.
