Name:Bettina Könighofer

Bio:

Bettina Könighofer is an Assistant Professor of Formal Methods and Machine Learning at Graz University of Technology. Her research focuses on runtime assurance, probabilistic model checking, and reinforcement learning. Her work on shielding was among the first to provide formal safety guarantees for deep reinforcement learning, bootstrapping the field of shielded learning. She received her PhD from TU Graz under the supervision of Prof. Roderick Bloem in 2020. Before joining the faculty in 2023, she led the TrustedAI group at LAMARR Security Research.

Country:Austria

Affiliation:Graz University of Technology

Research interests:Safe AI, Reinforcement Learning, Shielding, Formal Methods, Runtime Verification, Explainability