My main research interests are in:
- Software quality requirements modeling, analysis and verification
- Formal methods for (self-)adaptive dependable IT systems
- Model-driven software engineering
and the application of the theories, approaches and techniques specific to
the above research areas to
service-oriented
and c
omponent-based systems,
adaptive
systems,
mobile systems,
and
cloud computing.