معرفی
Volker Stolz is an Associate Professor in the Department of Informatics at the University of Oslo, Faculty of Mathematics and Natural Sciences. He is affiliated with the Reliable Systems research group, where his work centers on improving software reliability through formal methods, model transformation, and UML-based modeling.
- Institution: University of Oslo
- School: Faculty of Mathematics and Natural Sciences
- Department: Department of Informatics
- Research Group: Reliable Systems
- Contact: stolz@ifi.uio.no | +47 22852438 | Room GA06 9461
His research spans formal verification, concurrency, model-based testing, and programming language semantics. He has made significant contributions to deadlock detection, refactoring equivalence, runtime verification in distributed systems, and data race analysis, often using formal models such as Petri nets and active object languages.
The recent publications highlight a consistent focus on software correctness, modular analysis, and automated verification techniques. Trends include the use of behavioral effects, abstract execution, and field calculus for distributed monitoring. His work frequently appears in top-tier venues like Theoretical Computer Science, Lecture Notes in Computer Science, and Journal of Logical and Algebraic Methods in Programming, indicating strong theoretical and practical impact.
He collaborates extensively with researchers such as Violet Ka I Pun, Rui Wang, Lars Michael Kristensen, and Martin Steffen, reflecting an active and collaborative research profile.
No scientific awards are mentioned in the provided text.
There is no information available about student advising or research grants.
Volker Stolz is involved in research projects related to model-based testing, formal methods, and reliable software systems, particularly through the Reliable Systems group. His work often involves building theoretical foundations and practical tools for verifying and improving software behavior in distributed and concurrent environments.
