Graz University of Technology,
Bettina Könighofer will be an Assistant Professor at Graz University of Technology in Austria starting from October 2022. She currently leads the Trusted AI research group at Lamarr Security Research in Graz. Her research interests lie in the area of AI and Formal Methods. For AI, her interests lie especially in reinforcement learning and questions addressing explainability, accountability, and safety of AI. For formal methods, she is especially interested in probabilistic model checking, hardware synthesis, and runtime verification and enforcement. Bettina's work on shielding was one of the first that combined correct-by-construction formal methods with AI. Bettina is a work package leader in the H2020 project called FOCETA on Foundations for Continuous Engineering of Trustworthy Autonomy. At TU Graz, Bettina teaches an undergraduate course on "Logic and Compatibility" and partly teaches a graduate course on "Model Checking".
Formal Methods for Trusted AI