My research interests include runtime verification, self-adaptive systems, and Trustworthy AI.