John Törnblom

PhD student

Publications

2026

John Törnblom, Emil Karlsson, Simin Nadjm-Tehrani (2026) Finding Minimum‐Cost Explanations for Predictions Made by Tree Ensembles Software, practice & experience, Article spe.70061 (Article in journal)

Continue to DOI

2025

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

John Törnblom, Emil Karlsson, Simin Nadjm-Tehrani (2025) Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles

2020

John Törnblom (2020) Formal Verification of Tree Ensembles in Safety-Critical Applications

John Törnblom, Simin Nadjm-Tehrani (2020) Formal Verification of Input-Output Mappings of Tree Ensembles Science of Computer Programming, Vol. 194 (Article in journal)

Continue to DOI

Research

robot dog Spot, drone, small helicopter, operator

WASP at Department of Computer and Information Science (IDA)

WASP, Wallenberg AI autonomous systems and software program, is the largest individual research investment in Sweden in modern times. One of the WASP research environments at LiU is located at the Department of Computer and Information Science.

About the division

Cybersecurity (CYBER)

The division Cybersecurity is part of the Department of Computer and Information Science. The division conducts research and education in cybersecurity and consists of four research groups,