Home
Placeholder for missing image of Leif Eriksson

Leif Eriksson

PhD student

Publications

2024

Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki (2024) Solving Quantified Boolean Formulas with Few Existential Variables PROCEEDINGS OF THE THIRTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2024, p. 1889-1897 (Conference paper)

2023

Leif Eriksson, Victor Lagerkvist (2023) Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning Proceedings of the 32nd International Joint Conference on Artificial Intelligence, p. 1919-1926 (Conference paper) Continue to DOI
Leif Eriksson, Victor Lagerkvist (2023) A Fast Algorithm for Consistency Checking Partially Ordered Time Proceedings of the 32nd International Joint Conference on Artificial Intelligence, p. 1911-1918 (Conference paper) Continue to DOI

2022

Leif Eriksson, Victor Lagerkvist (2022) A Multivariate Complexity Analysis of Qualitative Reasoning Problems Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI-22), p. 1804-1810 (Conference paper) Continue to DOI

2021

Leif Eriksson, Victor Lagerkvist (2021) Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach Proceedings of the 30th International Joint Conference on Artificial Intelligence, p. 1873-1879 (Conference paper) Continue to DOI

Research

Teacher and students with laptops interact

Graduate School in Computer Science, CUGS

The scientific scope of the graduate school CUGS at the Department of Computer and Information Science at Linköping University includes central parts of core computer science and computer engineering.

About the division

The robotdog Spot hands over a first aid kit to a kneeling man

Artificial Intelligence and Integrated Computer Systems (AIICS)

The AIICS division is part of the Department of Computer and Information Science. The division's main focus is research and teaching in artificial intelligence, its theoretical foundations and its applications.

Colleagues at AIICS

Placeholder for missing image of Rahman Ahmadi
Rahman Ahmadi
Technician
Placeholder for missing image of Joakim Andersson
Joakim Andersson
Technician
Placeholder for missing image of Tohid Ardeshiri
Tohid Ardeshiri
Senior Research Coordinator
Placeholder for missing image of Mohsen Asgari
Mohsen Asgari
PhD student
Placeholder for missing image of David Bergström
David Bergström
PhD student
Photo of Marcel Bollmann
Marcel Bollmann
Associate Professor
Placeholder for missing image of Lukas Borggren
Lukas Borggren
Placeholder for missing image of Andreas Bueff
Andreas Bueff
Postdoc
Photo of Magnus Bång
Magnus Bång
Professor
Photo of Sanjay Chakraborty
Sanjay Chakraborty
Postdoc
Photo of Peter Dalenius
Peter Dalenius
Lecturer
Photo of Ibrahim Delibasoglu
Ibrahim Delibasoglu
Postdoc
Photo of Patrick Doherty
Patrick Doherty
Professor
Photo of Ehsan Doostmohammadi
Ehsan Doostmohammadi
PhD student
Photo of Dominik Drexler
Dominik Drexler
Postdoc
Placeholder for missing image of Simone Edman
Simone Edman
Technician
Placeholder for missing image of Josef Fagerström
Josef Fagerström
PhD student
Photo of Hoda Fakhar
Hoda Fakhar
PhD student
Photo of Johannes Klaus Fichte
Johannes Klaus Fichte
Associate Professor
Placeholder for missing image of Martin Forsberg
Martin Forsberg
Photo of Markus Fritzsche
Markus Fritzsche
PhD student
Photo of Martin Funkquist
Martin Funkquist
PhD student
Photo of Elliot Gestrin
Elliot Gestrin
PhD student
Placeholder for missing image of Kevin Glocker
Kevin Glocker
PhD student
Photo of Daniel Gnad
Daniel Gnad
Assistant Professor, Docent
Placeholder for missing image of Johanna Groven
Johanna Groven
PhD student
Photo of Christian Gustavsson
Christian Gustavsson
PhD student
Placeholder for missing image of Hugo-Henrik Hachem
Hugo-Henrik Hachem
Postdoc
Placeholder for missing image of Arash Haratian
Arash Haratian
PhD student
Photo of Fredrik Heintz
Fredrik Heintz
Professor, Head of Division, Head of Unit
Placeholder for missing image of Erik Helmer
Erik Helmer
Technician
Photo of Oskar Holmström
Oskar Holmström
PhD student
Photo of Paul Höft
Paul Höft
PhD student
Placeholder for missing image of Leo Jarhede
Leo Jarhede
Teaching Assistant
Photo of Oliver Harold Joergensen
Oliver Harold Joergensen
PhD student
Placeholder for missing image of Mikael Johansson
Mikael Johansson
Placeholder for missing image of Peter Jonsson
Peter Jonsson
Professor, Head of Unit
Photo of Marco Kuhlmann
Marco Kuhlmann
Deputy Head of Department, Professor, Head of Unit
Placeholder for missing image of Kätriin Kukk
Kätriin Kukk
PhD student
Placeholder for missing image of Jenny Kunz
Jenny Kunz
Postdoc
Photo of Jonas Kvarnström
Jonas Kvarnström
Associate Professor, Docent
Photo of Victor Lagerkvist
Victor Lagerkvist
Senior Associate Professor
Placeholder for missing image of Filip Lagerquist
Filip Lagerquist
Technician
Placeholder for missing image of Arnaud Lequen
Arnaud Lequen
Postdoc
Photo of Kristina Levina
Kristina Levina
Photo of Katerina Linden
Katerina Linden
Postdoc
Placeholder for missing image of Adam Ljung
Adam Ljung
Technician
Placeholder for missing image of Marcus Lång
Marcus Lång
PhD student
Placeholder for missing image of Mohamed Maizia
Mohamed Maizia
Placeholder for missing image of Dennis Malmgren
Dennis Malmgren
Photo of Linda Mannila
Linda Mannila
Photo of Damien Van Meerbeeck
Damien Van Meerbeeck
PhD student
Photo of Farid Musayev
Farid Musayev
PhD student
Photo of Mikael Nilsson
Mikael Nilsson
Photo of Ulf Nilsson
Ulf Nilsson
Professor Emeritus
Photo of Romina Oji
Romina Oji
PhD student
Placeholder for missing image of George Osipov
George Osipov
Postdoc
Photo of Tommy Persson
Tommy Persson
Research Engineer
Photo of Windy Phung
Windy Phung
PhD student
Placeholder for missing image of Wiliam Puranen
Wiliam Puranen
Technician
Photo of Piotr Rudol
Piotr Rudol
Research Engineer
Placeholder for missing image of Oskar Savinainen
Oskar Savinainen
Technician
Photo of Jendrik Seipp
Jendrik Seipp
Senior Associate Professor, Head of Unit
Photo of Md Fahim Sikder
Md Fahim Sikder
PhD student
Placeholder for missing image of Ebba Silfver
Ebba Silfver
Technician
Photo of Mika Skjelnes
Mika Skjelnes
PhD student
Photo of Amath Sow
Amath Sow
PhD student
Photo of Andrzej Szalas
Andrzej Szalas
Professor Emeritus
Placeholder for missing image of Gustaf Söderholm
Gustaf Söderholm
PhD student
Placeholder for missing image of Rosanna Thorén
Rosanna Thorén
Technician
Photo of Mattias Tiger
Mattias Tiger
Assistant Professor
Placeholder for missing image of Olle Torstensson
Olle Torstensson
PhD student
Placeholder for missing image of Danny Tran
Danny Tran
Technician
Photo of Diana Unander
Diana Unander
Senior Coordinator
Placeholder for missing image of Jorke de Vlas
Jorke de Vlas
PhD student
Photo of Emil Wiman
Emil Wiman
PhD student
Photo of Mariusz Wzorek
Mariusz Wzorek
Assistant Professor, Head of Unit

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