Team

Bettina Könighofer

Associate Professor · TU Graz, Institute of Information Security

Bettina's research focuses on trustworthy AI, formal verification, and safe reinforcement learning. She develops methods that provide formal safety guarantees for AI and autonomous systems, combining tools from reactive synthesis, runtime monitoring, and probabilistic verification.