John Törnblom vid Institutionen för datavetenskap (IDA) försvarar sin avhandling med titeln "Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles".
Huvudhandledare: Simin Nadjm-Tehrani, professor, IDA
Opponent: Andrea Bondavalli, professor, University of Florence, Italien
Disputationen är öppen för allmänheten och hålls på engelska.
