Research Interests

Icon 1

Monitoring, Testing, and Evolution of
Cyber-Physical Systems

CPS embed cyber capabilities in the physical world affecting humans, and their interactions. While runtime monitoring has been an active research area, particularly CPS pose new challenges.

Icon 1

Self-Adaptation and
Human-Machine Teaming

HMT emphasizes interactions, partnership, and teamwork between humans and machines. This requires transparency, augmented cognition, and (self-)adaptation capabilities.

Icon 1

Safety Assurance for
small Uncrewed Aerial Systems

Safety-critical software must deliver its required functionality while ensuring that the system is safe for its intended use, using rigorous safety assurance practices.

Icon 1

Assurance of Learning and
Competency-Based Education

Assessment of students' performance and analyzing learning outcomes have become widely adopted practices, requiring a set of well-established learning objectives.

Icon 1

Variability Modelling and
Product Lines

The complexity of product line variability models makes it hard to maintain their consistency over time regardless of the modeling approach used.