Currently, I’m working on Software Engineering and Component Modelling in rCOS at the United Nations University, Institute for Software Technology.


Looking for a thesis?

  1. •DTrace and Runtime Verification


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