Home
Illustration with book and speech bubble
Public PhD Defence

Public defence of doctoral thesis in Computer Science: John Törnblom

John Törnblom at the Department of Computer and Information Science (IDA) defends his thesis entitled: "Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles".

Main Supervisor: Simin Nadjm-Tehrani, Professor, IDA

Opponent: Andrea Bondavalli, Professor, University of Florence, Italy

The event is open to the public and held in English.

More Information

Cover of publication 'Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles'
John Törnblom (2025)
Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles
Photo of John Törnblom

John Törnblom

Organisation

A person sits in front of a computer screen and handles a floor robot

Software and Systems (SAS)

The SAS division is part of the Department of Computer and Information Science. The division conducts research and education in software engineering and computer systems,  covering both basic research and projects in cooperation with industry.
Image of Building E, Campus Valla.

Department of Computer and Information Science (IDA)

The Department of Computer and Information Science is one of the largest departments in northern Europe in its field. Research activity covers artificial intelligence, human-computer interaction, software and computer systems, and data science.

Faculty of Science and Engineering (Institute of Technology) (LITH)

With some 14,800 students, more than 1,000 employees and a budget exceeding SEK 1.7 billion, the Faculty of Science and Engineering is one of Sweden’s largest engineering education institutions. We are a fully integrated part of Linköping University.