Fotografi av John Törnblom

John Törnblom

Doktorand

Publikationer

2026

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

Vidare till 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 (Artikel i tidskrift)

Vidare till DOI

Forskning

robothund Spot, drönare, liten helikopter, operatör

WASP vid Institutionen för datavetenskap (IDA)

WASP, Wallenberg AI autonomous systems and software program, är den största enskilda forskningssatsningen i Sverige i modern tid. En av forskningsmiljöerna kopplade till WASP vid Linköpings universitet, finns vid Institutionen för datavetenskap.

Om avdelningen

Datorsal med studenter

Cybersäkerhet (CYBER)

Avdelningen Cybersäkerhet vid Institutionen för datavetenskap bedriver forskning och utbildning inom cybersäkerhet och består av fyra forskargrupper.

Kollegor vid CYBER

Fotografi av Zeeshan Afzal

Fotografi av Mikael Asplund

Biträdande professor, Avdelningschef

Fotografi av Buse Atli

Biträdande universitetslektor

Fotografi av Mohammad Borhani

Mohammad Borhani

Fotografi av Carl Magnus Bruhner

Carl Magnus Bruhner

Fotografi av Niklas Carlsson

Niklas Carlsson

Platshållare för saknad bild till Efstathios Chatziloizos

Efstathios Chatziloizos

Fotografi av Valency Colaco

Fotografi av Seyed Erfan Delfani Abbariki

Seyed Erfan Delfani Abbariki

Platshållare för saknad bild till John Engberg

Fotografi av Reyhane Falanji

Reyhane Falanji

Fotografi av Andrei Gurtov

Platshållare för saknad bild till Susan Harrington

Susan Harrington

Fotografi av David Hasselquist

David Hasselquist

Adjungerad universitetsadjunkt

Fotografi av Eunjeong Jeong

Fotografi av Somiya Kapoor

Platshållare för saknad bild till Suleman Khan

Platshållare för saknad bild till Bowen Li

Fotografi av Minxing Liu

Fotografi av Jiping Luo

Platshållare för saknad bild till Atefeh Mirzabeigi

Atefeh Mirzabeigi

Fotografi av Sheyda Mirzakhani

Sheyda Mirzakhani

Fotografi av Alireza Mohammadinodooshan

Alireza Mohammadinodooshan

Fotografi av Simin Nadjm-Tehrani

Simin Nadjm-Tehrani

Professor, Enhetschef

Fotografi av Ali Nikkhah

Fotografi av Nikolaos Pappas

Nikolaos Pappas

Universitetslektor, Docent

Fotografi av Roland Plaka

Platshållare för saknad bild till Sehrish Qummar

Fotografi av Mehrdad Salimnejad

Mehrdad Salimnejad

Fotografi av Nahid Shahmehri

Nahid Shahmehri

Professor emerita

Fotografi av Gurjot Singh

Biträdande universitetslektor

Fotografi av Navya Sivaraman

Navya Sivaraman

Platshållare för saknad bild till Charilaos Skandylas

Charilaos Skandylas

Fotografi av Animesh Thakur

Platshållare för saknad bild till Federica Uccello

Federica Uccello

Platshållare för saknad bild till Ahmad Usman

Fotografi av Jiayang Wang

Fotografi av Zelong Wang

Platshållare för saknad bild till Johannes Wilson

Johannes Wilson

Fotografi av Ethan Witwer

Fotografi av Karol Wojtulewicz

Karol Wojtulewicz

Fotografi av Andreas Wrisley

Andreas Wrisley

Om institutionen

Föreställer E-huset på Campus Valla.

Institutionen för datavetenskap (IDA)

En av de största datavetenskapliga institutionerna i norra Europa med forskning och utbildning inom AI, människa-datorinteraktion, programvaruteknik och datorsystem, och data science. Verksamheten är inriktad mot både teknisk och filosofisk fakultet.

Taggar