Bettina Könighofer

Bettina Könighofer ist Assistenzprofessorin für Formale Methoden und Künstliche Intelligenz an der Technischen Universität Graz. Ihre Forschungsschwerpunkte liegen in den Bereichen Laufzeitverifikation, probabilistische Modellierung und Verstärkendes Lernen, mit dem übergeordneten Ziel, autonome KI-basierte Systeme sicher, fair und erklärbar zu machen. Ihre Arbeiten zu Shielded Reinforcement Learning gehörten zu den ersten, die formale Garantien für Deep-Learning-Systeme lieferten. Im Jahr 2026 erhielt sie den renommierten FWF ASTRA Award für ihr Projekt SEAL, das die Weiterentwicklung moderner Shielding-Techniken vorantreibt. 2020 promovierte sie an der Technischen Universität Graz. Bevor sie 2023 als Assistenzprofessorin an die TU Graz zurückkehrte, leitete sie die TrustedAI-Gruppe bei LAMARR Security Research.