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)

https://dx.doi.org/10.1002/spe.70061

2025

John Törnblom (2025)

Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles (Doctoral thesis, comprehensive summary)

https://dx.doi.org/10.3384/9789181181296

John Törnblom, Emil Karlsson, Simin Nadjm-Tehrani (2025)

Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles (Manuscript (preprint))

https://dx.doi.org/10.48550/arXiv.2303.09271

2020

John Törnblom (2020)

Formal Verification of Tree Ensembles in Safety-Critical Applications (Licentiate thesis, comprehensive summary)

https://dx.doi.org/10.3384/lic.diva-170862

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)

https://dx.doi.org/10.1016/j.scico.2020.102450

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.