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 on the “Harnessing Theories for Tool support in Software” project funded by the Macao Science and Technology Development Fund, applying formal methods and verification techniques to component based software engineering.
He holds a diploma in computer science and a Ph.D. 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.