Photo of John Törnblom

John Törnblom

PhD student

Publications

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

2019

John Törnblom, Simin Nadjm-Tehrani (2019) An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, p. 301-313 (Conference paper)

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

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.

Colleagues at SAS

Photo of Zeeshan Afzal

Photo of Klas Arvidsson

Photo of Adeel Asghar

Photo of Mikael Asplund

Senior Associate Professor

Photo of Buse Atli

Assistant Professor

Photo of Ayla Babazade

Photo of Amin Bajand

Photo of Aseel Berglund

Senior Associate Professor

Photo of Lena Buffoni

Associate Professor, Docent

Photo of Valency Colaco

Placeholder for missing image of Hanna Ekstam Ahlberg

Hanna Ekstam Ahlberg

Photo of Eric Ekström

Photo of Petru Eles

Professor Emeritus

Placeholder for missing image of John Engberg

Photo of Emma Enocksson Svensson

Emma Enocksson Svensson

Photo of August Ernstsson

August Ernstsson

Photo of Reyhane Falanji

Reyhane Falanji

Photo of Dominik Frey

Photo of Peter Fritzson

Professor Emeritus

Photo of Máté Földiák

Máté Földiák

Photo of Pontus Haglund

Placeholder for missing image of Susan Harrington

Susan Harrington

Placeholder for missing image of Jonathan Hjort

Photo of Christoffer Holm

Christoffer Holm

Photo of Abdelazim Hussien

Abdelazim Hussien

Photo of Torbjörn Jonsson

Torbjörn Jonsson

Lecturer, Head of Unit

Photo of Filip Josefsson

Filip Josefsson

Placeholder for missing image of Dag Jönsson

Photo of Mariam Kamkar

Professor Emerita

Photo of Christoph Kessler

Christoph Kessler

Professor, Head of Division

Photo of Shahrzad Khayatbashi

Shahrzad Khayatbashi

Photo of Sajad Khosravi

Placeholder for missing image of Sebastian Litzinger

Sebastian Litzinger

Photo of Willem Meijer

Photo of Torvald Mårtensson

Torvald Mårtensson

Adjunct Associate Professor

Photo of Simin Nadjm-Tehrani

Simin Nadjm-Tehrani

Professor, Head of Unit

Photo of Erik von Nastase

Erik von Nastase

Teaching Assistant

Photo of Magnus Nielsen

Placeholder for missing image of Aron Nikku

Teaching Assistant

Photo of Viktor Olsson

Photo of Helena Orädd

Placeholder for missing image of Yungang Pan

Photo of Zebo Peng

Deputy Head of Department, Professor, Head of Unit

Photo of Roland Plaka

Photo of Adrian Pop

Principal Research Engineer, Docent

Photo of Ahmed Rezine

Associate Professor, Docent

Photo of Masoud Sadrnezhaad

Masoud Sadrnezhaad

Placeholder for missing image of Soheil Samii

Photo of Kristian Sandahl

Kristian Sandahl

Placeholder for missing image of Sonia Sangari

Photo of Martin Sjölund

Martin Sjölund

Associate Professor

Placeholder for missing image of Charilaos Skandylas

Charilaos Skandylas

Photo of Filip Strömbäck

Filip Strömbäck

Associate Professor

Placeholder for missing image of Daniel Ståhl

Adjunct Associate Professor, Docent

Placeholder for missing image of Xin Sun

Photo of Xiaopeng Teng

Photo of Animesh Thakur

Placeholder for missing image of John Tinnerholm

John Tinnerholm

Placeholder for missing image of Federica Uccello

Federica Uccello

Placeholder for missing image of Ahmad Usman

Photo of Daniel Varro

Professor, Head of Unit

Photo of Yiran Wang

Placeholder for missing image of Johannes Wilson

Johannes Wilson

Photo of Andreas Wrisley

Andreas Wrisley

Placeholder for missing image of Per Östlund

About the Department

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.

Tags