Stefan Pranger

Stefan Pranger joined IAIK in 2022 as a member of the Trusted AI group. During his Master studies of Computer Science, he was actively involved at the research at IAIK and co-authored four papers; two of them as first author, and two of the conferences are top conferences of the field. Stefan's research interests lie primarily in the area of probabilistic model checking, runtime monitoring and enforcement, and artificial intelligence.