Stefan Pranger
Dipl.-Ing. BScFormal Methods, PhD Student
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.
Office room: IF02048 TUGRAZOnline_Visitenkarte