Mein Schwerpunkt liegt auf formalen Methoden, die Programmverifikation und Typentheorie nutzen, um Sicherheitseigenschaften von Systemen wie kryptografischen Protokollen nachzuweisen.

My focus is on formal methods leveraging program verification and type theory to prove security properties of systems such as cryptographic protocols.