Loading Events

« All Events

  • 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

Details

  • Date: August 25, 2025
  • Time:
    13:15 - 23:59
  • Event Category:

Venue