New Assistant Professor: Bettina Könighofer

We are pleased to announce that Bettina Könighofer joins as an assistant professor for Trustworthy Artificial Intelligence at IAIK. Bettina founded the group Trusted AI. In her research, she and her group is using state-of-the-art formal methods to test, to verify, and to 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 that provided provable correctness guarantees for deep learning systems.

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