Hem
Platshållare för saknad bild till Leif Eriksson

Leif Eriksson

Doktorand

Publikationer

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, s. 1889-1897 (Konferensbidrag)

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, s. 1919-1926 (Konferensbidrag) Vidare till 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, s. 1911-1918 (Konferensbidrag) Vidare till 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), s. 1804-1810 (Konferensbidrag) Vidare till 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, s. 1873-1879 (Konferensbidrag) Vidare till DOI

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

Platshållare för saknad bild till Rahman Ahmadi
Rahman Ahmadi
Tekniker
Platshållare för saknad bild till Joakim Andersson
Joakim Andersson
Tekniker
Platshållare för saknad bild till Tohid Ardeshiri
Tohid Ardeshiri
Forskningskoordinator
Platshållare för saknad bild till Mohsen Asgari
Mohsen Asgari
Doktorand
Platshållare för saknad bild till David Bergström
David Bergström
Doktorand
Fotografi av Marcel Bollmann
Marcel Bollmann
Universitetslektor
Platshållare för saknad bild till Lukas Borggren
Lukas Borggren
Platshållare för saknad bild till Andreas Bueff
Andreas Bueff
Postdoktor
Fotografi av Magnus Bång
Magnus Bång
Professor
Fotografi av Sanjay Chakraborty
Sanjay Chakraborty
Postdoktor
Fotografi av Peter Dalenius
Peter Dalenius
Universitetsadjunkt
Fotografi av Ibrahim Delibasoglu
Ibrahim Delibasoglu
Postdoktor
Fotografi av Patrick Doherty
Patrick Doherty
Professor
Fotografi av Ehsan Doostmohammadi
Ehsan Doostmohammadi
Doktorand
Fotografi av Dominik Drexler
Dominik Drexler
Postdoktor
Platshållare för saknad bild till Simone Edman
Simone Edman
Tekniker
Platshållare för saknad bild till Josef Fagerström
Josef Fagerström
Doktorand
Fotografi av Hoda Fakhar
Hoda Fakhar
Doktorand
Fotografi av Johannes Klaus Fichte
Johannes Klaus Fichte
Universitetslektor
Platshållare för saknad bild till Martin Forsberg
Martin Forsberg
Fotografi av Markus Fritzsche
Markus Fritzsche
Doktorand
Fotografi av Martin Funkquist
Martin Funkquist
Doktorand
Fotografi av Elliot Gestrin
Elliot Gestrin
Doktorand
Platshållare för saknad bild till Kevin Glocker
Kevin Glocker
Doktorand
Fotografi av Daniel Gnad
Daniel Gnad
Biträdande universitetslektor, Docent
Platshållare för saknad bild till Johanna Groven
Johanna Groven
Doktorand
Fotografi av Christian Gustavsson
Christian Gustavsson
Doktorand
Platshållare för saknad bild till Hugo-Henrik Hachem
Hugo-Henrik Hachem
Postdoktor
Platshållare för saknad bild till Arash Haratian
Arash Haratian
Doktorand
Fotografi av Fredrik Heintz
Fredrik Heintz
Professor, Avdelningschef, Enhetschef
Platshållare för saknad bild till Erik Helmer
Erik Helmer
Tekniker
Fotografi av Oskar Holmström
Oskar Holmström
Doktorand
Fotografi av Paul Höft
Paul Höft
Doktorand
Platshållare för saknad bild till Leo Jarhede
Leo Jarhede
Amanuens
Fotografi av Oliver Harold Joergensen
Oliver Harold Joergensen
Doktorand
Platshållare för saknad bild till Mikael Johansson
Mikael Johansson
Platshållare för saknad bild till Peter Jonsson
Peter Jonsson
Professor, Enhetschef
Fotografi av Marco Kuhlmann
Marco Kuhlmann
Proprefekt, Professor, Enhetschef
Platshållare för saknad bild till Kätriin Kukk
Kätriin Kukk
Doktorand
Platshållare för saknad bild till Jenny Kunz
Jenny Kunz
Postdoktor
Fotografi av Jonas Kvarnström
Jonas Kvarnström
Universitetslektor, Docent
Fotografi av Victor Lagerkvist
Victor Lagerkvist
Biträdande professor
Platshållare för saknad bild till Filip Lagerquist
Filip Lagerquist
Tekniker
Platshållare för saknad bild till Arnaud Lequen
Arnaud Lequen
Postdoktor
Fotografi av Kristina Levina
Kristina Levina
Fotografi av Katerina Linden
Katerina Linden
Postdoktor
Platshållare för saknad bild till Adam Ljung
Adam Ljung
Tekniker
Platshållare för saknad bild till Marcus Lång
Marcus Lång
Doktorand
Platshållare för saknad bild till Mohamed Maizia
Mohamed Maizia
Platshållare för saknad bild till Dennis Malmgren
Dennis Malmgren
Fotografi av Linda Mannila
Linda Mannila
Fotografi av Damien Van Meerbeeck
Damien Van Meerbeeck
Doktorand
Fotografi av Farid Musayev
Farid Musayev
Doktorand
Fotografi av Mikael Nilsson
Mikael Nilsson
Fotografi av Ulf Nilsson
Ulf Nilsson
Professor emeritus
Fotografi av Romina Oji
Romina Oji
Doktorand
Platshållare för saknad bild till George Osipov
George Osipov
Postdoktor
Fotografi av Tommy Persson
Tommy Persson
Forskningsingenjör
Fotografi av Windy Phung
Windy Phung
Doktorand
Platshållare för saknad bild till Wiliam Puranen
Wiliam Puranen
Tekniker
Fotografi av Piotr Rudol
Piotr Rudol
Forskningsingenjör
Platshållare för saknad bild till Oskar Savinainen
Oskar Savinainen
Tekniker
Fotografi av Jendrik Seipp
Jendrik Seipp
Biträdande professor, Enhetschef
Fotografi av Md Fahim Sikder
Md Fahim Sikder
Doktorand
Platshållare för saknad bild till Ebba Silfver
Ebba Silfver
Tekniker
Fotografi av Mika Skjelnes
Mika Skjelnes
Doktorand
Fotografi av Amath Sow
Amath Sow
Doktorand
Fotografi av Andrzej Szalas
Andrzej Szalas
Professor emeritus
Platshållare för saknad bild till Gustaf Söderholm
Gustaf Söderholm
Doktorand
Platshållare för saknad bild till Rosanna Thorén
Rosanna Thorén
Tekniker
Fotografi av Mattias Tiger
Mattias Tiger
Biträdande universitetslektor
Platshållare för saknad bild till Olle Torstensson
Olle Torstensson
Doktorand
Platshållare för saknad bild till Danny Tran
Danny Tran
Tekniker
Fotografi av Diana Unander
Diana Unander
Koordinator
Platshållare för saknad bild till Jorke de Vlas
Jorke de Vlas
Doktorand
Fotografi av Emil Wiman
Emil Wiman
Doktorand
Fotografi av Mariusz Wzorek
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.

Taggar