Volker Stolz
Professor at Western Norway University of Applied Sciences
Bergen, Vestland, Norway
Summary
🤩
Rockstar🎓
Top SchoolVolker Stolz is a Professor of Software Engineering based in Bergen, Norway, with over a decade of academic and research experience focused on runtime verification, formal methods, and functional programming. He led development of the rCOS modeler, a UML-based tool for use-case driven, component-based system design, and served as principal investigator on applied runtime verification projects. His work bridges rigorous formal techniques and practical software engineering, with teaching roles across multiple universities and international visiting positions. As vice-chair of the EU COST Action ARVI he helped shape research beyond traditional monitoring into runtime verification practice. Colleagues know him for combining deep theoretical expertise with hands-on tool development and for sustaining long-term open-source and academic initiatives like the rCOS project.
11 years of coding experience
11 years of employment as a software developer
Abitur, Abitur at Städt. Gymnasium BaesweilerDr. rer. nat., Computer Science, Dr. rer. nat., Computer Science at RWTH Aachen UniversityComputer Science, Computer Science at Universidad Politécnica de Madrid
English, German, Spanish, Norwegian
Stackoverflow
7,322reputation
817kreached
269answers
11questions
uml
top-5%
command-line-interface
top-5%
eclipse
top-1%
java
top-5%
junit
top-5%
Github Skills (77)
python10
automation10
home-assistant10
eclipse10
mqtt10
home-automation10
garden10
iot10
internet-of-things10
asyncio10
privacy10
raspberry-pi10
command-line-interface9
junit9
uml9
Programming languages (15)
Github contributions (5)
selabhvl/py-mcdc
Apr 2021 - Jul 2021
Contributions:53 commits, 12 pushes, 1 comment in 2 months
selabhvl/selabhvl.github.io
Jun 2023 - Mar 2025
Web-presence of the Software Engineering research group at HVL
Contributions:1 PR, 60 pushes, 2 branches in 1 year 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.