Bettina Könighofer

Bettina Könighofer is an Assistant Professor at the Technische Universität Graz (TU Graz), affiliated with the Institute of Information Security. Her academic background includes a BSc, Dipl.-Ing. (Diplom-Ingenieur), and Dr.techn. (Technical Doctorate). She specializes in formal methods applied to AI safety, reinforcement learning, and autonomous systems. Her research emphasizes ensuring safety and ethical compliance in decision-making systems through techniques like shield synthesis and formal verification.

Research Interests:

• Safe Reinforcement Learning
• Algorithmic Fairness and Ethical AI
• Formal Verification of Learning Systems
• Autonomous Systems Safety
• Legal Accountability in Automated Decision-Making

Her recent work explores safety shields for real-time decision enforcement, tools for legal accountability (e.g., soid), and adaptive architectures for safety-critical systems. Notable projects include contributions to QComp verification competitions and Dagstuhl seminars on trustworthy AI.

She holds a leadership role in academic conferences, including co-chairing the AISoLA 2023 Track C2. Her research often intersects with practical applications in mobility systems and regulatory compliance.