Fotografi av Johanna Groven

Johanna Groven

Doktorand

Publikationer

2026

Victor Lagerkvist, Johanna Groven, Leif Eriksson (2026)

Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming FORTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-26, VOL 40 NO 17, s. 14287-14294 (Konferensbidrag)

https://dx.doi.org/10.1609/aaai.v40i17.38443

Max Bannach, Johannes Klaus Fichte, Johanna Groven, Markus Hecher (2026)

Counting Complexity of ASP Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning (Konferensbidrag)

https://dx.doi.org/10.24963/kr.2026/11

Johannes Klaus Fichte, Johanna Groven, Peter Jonsson, Victor Lagerkvist, Jorke M. de Vlas (2026)

Maximum Satisfiability of Simple Temporal Problems Proceedings of the 35th International Joint Conference on Artificial Intelligence (Konferensbidrag)

Yasir Mahmood, Markus Hecher, Johanna Groven, Johannes Klaus Fichte (2026)

Structure-Aware Encodings of Argumentation Properties for Clique-width FORTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-26, VOL 40 NO 23, s. 19294-19302 (Konferensbidrag)

Forskning

Lärare och studenter med laptops interagerar med varandra

Forskarskola i datavetenskap, CUGS

Forskarskolan CUGS vid Institutionen för datavetenskap, Linköpings universitet, är vetenskapligt inriktad mot centrala delar av ämnena datalogi och datorsystem.

Om avdelningen

Robothunden Spot överlämnar en första hjälpen väska till en knäböjande man

Artificiell intelligens och integrerade datorsystem (AIICS)

Verksamheten vid avdelningen AIICS, Institutionen för datavetenskap, är fokuserad på forskning och undervisning inom artificiell intelligens, dess teoretiska grunder och dess tillämpningar.

Kollegor vid AIICS

Fotografi av Tohid Ardeshiri

Tohid Ardeshiri

Forskningskoordinator

Fotografi av Mohsen Asgari

Platshållare för saknad bild till David Bergström

David Bergström

Fotografi av Marcel Bollmann

Marcel Bollmann

Universitetslektor

Platshållare för saknad bild till Lukas Borggren

Platshållare för saknad bild till Rex Bringula

Platshållare för saknad bild till Stina Brunzell

Fotografi av Andreas Bueff

Fotografi av Magnus Bång

Fotografi av Sanjay Chakraborty

Sanjay Chakraborty

Fotografi av Peter Dalenius

Universitetsadjunkt

Fotografi av Patrick Doherty

Patrick Doherty

Fotografi av Dominik Drexler

Dominik Drexler

Platshållare för saknad bild till Josef Fagerström

Josef Fagerström

Fotografi av Hoda Fakhar

Fotografi av Johannes Klaus Fichte

Johannes Klaus Fichte

Fotografi av Markus Fritzsche

Markus Fritzsche

Fotografi av Martin Funkquist

Martin Funkquist

Fotografi av Jiahui Geng

Biträdande universitetslektor

Fotografi av Elliot Gestrin

Platshållare för saknad bild till Kevin Glocker

Fotografi av Daniel Gnad

Biträdande universitetslektor, Docent

Fotografi av Christian Gustavsson

Christian Gustavsson

Platshållare för saknad bild till Hugo-Henrik Hachem

Hugo-Henrik Hachem

Fotografi av Arash Haratian

Platshållare för saknad bild till Daniel Harrysson

Daniel Harrysson

Fotografi av Kristina von Hausswolff

Kristina von Hausswolff

Fotografi av Fredrik Heintz

Professor, Avdelningschef, Enhetschef

Fotografi av Joline Hellström

Joline Hellström

Fotografi av Oskar Holmström

Oskar Holmström

Fotografi av Oliver Harold Joergensen

Oliver Harold Joergensen

Platshållare för saknad bild till Mikael Johansson

Mikael Johansson

Platshållare för saknad bild till Peter Jonsson

Professor, Enhetschef

Fotografi av Marco Kuhlmann

Proprefekt, Professor

Fotografi av Kätriin Kukk

Fotografi av Jenny Kunz

Fotografi av Jonas Kvarnström

Jonas Kvarnström

Universitetslektor, Docent

Fotografi av Victor Lagerkvist

Victor Lagerkvist

Biträdande professor

Fotografi av Arnaud Lequen

Fotografi av Kristina Levina

Kristina Levina

Fotografi av Katerina Linden

Katerina Linden

Förste forskningsingenjör

Platshållare för saknad bild till Adam Ljung

Platshållare för saknad bild till Marcus Lång

Platshållare för saknad bild till Mohamed Maizia

Platshållare för saknad bild till Dennis Malmgren

Dennis Malmgren

Fotografi av Linda Mannila

Fotografi av Jingwei Mao

Fotografi av Damien Van Meerbeeck

Damien Van Meerbeeck

Fotografi av Arman Mohammadi

Arman Mohammadi

Fotografi av Mariam Musavi

Fotografi av Farid Musayev

Fotografi av Mikael Nilsson

Fotografi av Ulf Nilsson

Professor emeritus

Fotografi av Romina Oji

Platshållare för saknad bild till Sebastian Olsson

Sebastian Olsson

Platshållare för saknad bild till George Osipov

Fotografi av Tommy Persson

Forskningsingenjör

Fotografi av Windy Phung

Fotografi av Piotr Rudol

Forskningsingenjör

Platshållare för saknad bild till Mauricio Salerno

Mauricio Salerno

Fotografi av Jennifer Santos

Jennifer Santos

Fotografi av Jendrik Seipp

Biträdande professor, Enhetschef

Fotografi av Md Fahim Sikder

Md Fahim Sikder

Fotografi av Mika Skjelnes

Fotografi av Amath Sow

Fotografi av Benjamin Sundvall

Benjamin Sundvall

Fotografi av Gustaf Söderholm

Gustaf Söderholm

Fotografi av Jordan Thayer

Fotografi av Mattias Tiger

Biträdande universitetslektor

Platshållare för saknad bild till Olle Torstensson

Olle Torstensson

Fotografi av Diana Unander

Platshållare för saknad bild till Jorke de Vlas

Platshållare för saknad bild till Cajsa Wargren

Fotografi av Emil Wiman

Fotografi av Mariusz Wzorek

Biträdande universitetslektor, Enhetschef

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.