Bettina Könighofer promoted to assistant professor

We are pleased to announce that Bettina Könighofer has been promoted to be 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.