Currently, I’m working on Software Engineering and Component Modelling in rCOS at the United Nations University, Institute for Software Technology; Principal Investigator of the Applied Runtime Verification project.


Looking for a thesis topic?

  1. •DTrace and Runtime Verification

  2. •rCOS model transformations

  3. •Verification of component composition in rCOS


List of some CompSci conferences

 

Dr. Volker Stolz

Assistant Research Fellow


Research interests:

  1. •Formal methods

  2. •Functional and Logic Programming

  3. •Aspect-Oriented Programming

  4. •Program Analysis and Transformation

  5. •Programming Languages

  6. •Runtime Verification


Other interests:

  1. •FreeBSD operating system

Contact:

Email   vs@iist.unu.edu

Phone    +853 5040 467

Fax        +853 2871 2940


UNU-IIST

P.O.Box 3058

Macau SAR


Visiting Address:

Casa Silva Mendes

Estrada do Engenheiro Trigo 4