Volker Stolz

Assistant Research Fellow

Profile
  • Volker Stolz
    INSTITUTE:
    UNU-IIST
    OFFICE:
    Casa Silva Mendes, Estrada do Engenheiro Trigo No. 4, Macao SAR
    E-MAIL:
    PHONE:
    +853 85040467
    NATIONALITY:
    Germany

    Biographical Statement

    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.