Forschung

Ich interessiere mich für die Verwendung formaler Methoden in der Information, insbesondere beim Erstellen von sicheren und zuverlässigen Systemen. Dies umfasst Methoden und Werkzeuge zum Design, der Spezifikation, der Validierung und der Verifikation von Soft- und Hardwaresystemen.

Meine Interessen umfassen die drei Bereiche SystemKonstruktion (System Engineering), die Sicherheit und Zuverlässigkeit von Systemen (Safety and Security) und formale Methoden (Formal Methods). Hierbei umfassen meine Interessen sowohl die Grundlagenforschung als auch angewandte Forschungsarbeiten. Deshalb bin ich besonders daran interessiert, Ergebnisse der Grundlagenforschung in industriellen Umgebungen anzuwenden.

Laufende Arbeiten umfassen zum Beispiel die folgenden Bereiche:

Aktuelle Arbeiten: