- This event has passed.
PhD Defense: Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles
August 25, 2025 @ 13:15 - 23:59
Welcome to the doctoral defense of John Törnblom
Date and time: August 25th, 13:15
Location: TEMCAS, TEMA Building, Campus Valla, Linköping
Doctoral student: John Törnblom, Department of Computer and Information Science (IDA), Linköping University
Title: Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles
