Volker Stolz obtained his PhD on Runtime Verification from RWTH Aachen University, Germany. He worked in model-based software engineering and verification for several years at the United Nations University International Institute for Software Technology (UNU-IIST), where among other activities he was principal investigator in the project “Applied Runtime Verification”. In 2010, he joined the formal methods group at the University of Oslo, Norway, and in 2014 became associate professor at the Bergen University College, Norway (now Western Norway University of Applied Sciences), where he joined the ICT Engineering group. He also teaches software engineering methods in international summer schools to students with diverse backgrounds in computer science, IT and system administration.
Høgskulen på Vestlandet, Bergen (NO)