New Assistant Professor: Bettina Könighofer

We are pleased to announce that Bettina Könighofer has joined as an assistant professor for Trustworthy Artificial Intelligence at IAIK. Bettina founded the group Trusted AI. In her research, she and her group are using state-of-the-art formal methods to test, verify, and monitor AI systems with the goal to make sure that AI systems are safe, secure, transparent, accountable, robust, and unbiased. Bettina’s research was the first to provide provable correctness guarantees for deep learning systems.

Bettina is lecturing the bachelor course Logic and Computability and partially teaches the graduate course Model Checking.