Hem
Fotografi av John Törnblom

John Törnblom

Doktorand

Publikationer

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

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, s. 301-313 (Konferensbidrag) 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

En person sitter framför en datorskärm och hanterar en golvrobot

Programvara och system (SAS)

Programvara och system är en avdelning vid Institutionen för datavetenskap för forskning och utbildning inom programvaruteknik och datorsystem. Forskningen omfattar både grundforskning och projekt i samarbete med industrin.

Kollegor vid SAS

Fotografi av Zeeshan Afzal
Zeeshan Afzal
Postdoktor
Platshållare för saknad bild till Love Arreborn
Love Arreborn
Amanuens
Fotografi av Klas Arvidsson
Klas Arvidsson
Universitetsadjunkt
Fotografi av Adeel Asghar
Adeel Asghar
Fotografi av Mikael Asplund
Mikael Asplund
Biträdande professor
Fotografi av Ayla Babazade
Ayla Babazade
Doktorand
Fotografi av Amin Bajand
Amin Bajand
Doktorand
Fotografi av Aseel Berglund
Aseel Berglund
Universitetslektor, Docent
Fotografi av Lena Buffoni
Lena Buffoni
Universitetslektor, Docent
Fotografi av Valency Colaco
Valency Colaco
Doktorand
Platshållare för saknad bild till Hanna Ekstam Ahlberg
Hanna Ekstam Ahlberg
Fotografi av Eric Ekström
Eric Ekström
Universitetsadjunkt
Fotografi av Petru Eles
Petru Eles
Professor emeritus
Fotografi av Emma Enocksson Svensson
Emma Enocksson Svensson
Universitetsadjunkt
Fotografi av August Ernstsson
August Ernstsson
Universitetsadjunkt
Fotografi av Reyhane Falanji
Reyhane Falanji
Doktorand
Fotografi av Dominik Frey
Dominik Frey
Doktorand
Fotografi av Peter Fritzson
Peter Fritzson
Professor emeritus
Fotografi av Máté Földiák
Máté Földiák
Doktorand
Fotografi av Pontus Haglund
Pontus Haglund
Universitetsadjunkt
Platshållare för saknad bild till Jonathan Hjort
Jonathan Hjort
Doktorand
Fotografi av Christoffer Holm
Christoffer Holm
Tekniker
Fotografi av Abdelazim Hussien
Abdelazim Hussien
Doktorand
Fotografi av Torbjörn Jonsson
Torbjörn Jonsson
Universitetsadjunkt, Enhetschef
Fotografi av Filip Josefsson
Filip Josefsson
Doktorand
Platshållare för saknad bild till Dag Jönsson
Dag Jönsson
Tekniker
Fotografi av Mariam Kamkar
Mariam Kamkar
Professor emerita
Fotografi av Christoph Kessler
Christoph Kessler
Professor, Avdelningschef
Fotografi av Shahrzad Khayatbashi
Shahrzad Khayatbashi
Doktorand
Fotografi av Sajad Khosravi
Sajad Khosravi
Doktorand
Platshållare för saknad bild till Niklas Lanzén
Niklas Lanzén
Platshållare för saknad bild till Sebastian Litzinger
Sebastian Litzinger
Postdoktor
Fotografi av Willem Meijer
Willem Meijer
Doktorand
Fotografi av Torvald Mårtensson
Torvald Mårtensson
Adjungerad universitetslektor
Fotografi av Simin Nadjm-Tehrani
Simin Nadjm-Tehrani
Professor, Enhetschef
Fotografi av Erik von Nastase
Erik von Nastase
Amanuens
Fotografi av Magnus Nielsen
Magnus Nielsen
Tekniker
Platshållare för saknad bild till Aron Nikku
Aron Nikku
Amanuens
Fotografi av Viktor Olsson
Viktor Olsson
Tekniker
Fotografi av Helena Orädd
Helena Orädd
Doktorand
Platshållare för saknad bild till Yungang Pan
Yungang Pan
Doktorand
Fotografi av Zebo Peng
Zebo Peng
Proprefekt, Professor, Enhetschef
Fotografi av Roland Plaka
Roland Plaka
Doktorand
Fotografi av Adrian Pop
Adrian Pop
Förste forskningsingenjör, Docent
Fotografi av Ahmed Rezine
Ahmed Rezine
Universitetslektor, Docent
Fotografi av Masoud Sadrnezhaad
Masoud Sadrnezhaad
Doktorand
Platshållare för saknad bild till Soheil Samii
Soheil Samii
Biträdande professor
Fotografi av Kristian Sandahl
Kristian Sandahl
Professor
Platshållare för saknad bild till Sonia Sangari
Sonia Sangari
Fotografi av Martin Sjölund
Martin Sjölund
Universitetslektor
Platshållare för saknad bild till Charilaos Skandylas
Charilaos Skandylas
Postdoktor
Fotografi av Filip Strömbäck
Filip Strömbäck
Universitetslektor
Platshållare för saknad bild till Daniel Ståhl
Daniel Ståhl
Adjungerad universitetslektor, Docent
Platshållare för saknad bild till Xin Sun
Xin Sun
Doktorand
Fotografi av Xiaopeng Teng
Xiaopeng Teng
Doktorand
Fotografi av Animesh Thakur
Animesh Thakur
Doktorand
Platshållare för saknad bild till John Tinnerholm
John Tinnerholm
Doktorand
Fotografi av Klervie Toczé
Klervie Toczé
Platshållare för saknad bild till Federica Uccello
Federica Uccello
Postdoktor
Platshållare för saknad bild till Ahmad Usman
Ahmad Usman
Doktorand
Fotografi av Daniel Varro
Daniel Varro
Professor, Enhetschef
Fotografi av Yiran Wang
Yiran Wang
Doktorand
Platshållare för saknad bild till Johannes Wilson
Johannes Wilson
Fotografi av Andreas Wrisley
Andreas Wrisley
Platshållare för saknad bild till Per Östlund
Per Östlund

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