Dr. Volker Stolz is an Assistant Research Fellow at the United Nations University Institute for Software
Technology UNU-IIST. He is a member in the `rCOS' research group working in the "Harnessing Theories for Tool support in Software" project funded by the Macao Science and Technology Development Fund, working on applying formal methods and verification techniques to component based software engineering.

He holds a diploma in Computer Science and a PhD degree from RWTH Aachen University, Germany. He is in the program committee of various workshops and lecturer in UNU-IIST courses.

His interests include applied formal methods, programming language design, and logic programming.