Fotografi av Mikael Nilsson

Mikael Nilsson

Doktorand

Publikationer

2018

Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2018)

Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS), s. 180-189 (Konferensbidrag)

2016

Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2016)

Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification Acta Informatica, Vol. 53, s. 723-752 (Artikel i tidskrift)

https://dx.doi.org/10.1007/s00236-015-0248-8

2015

Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2015)

Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis Agents and Artificial Intelligence: 6th International Conference, ICAART 2014, Angers, France, March 6–8, 2014, Revised Selected Papers, s. 243-261 (Konferensbidrag)

https://dx.doi.org/10.1007/978-3-319-25210-0_15

Mikael Nilsson (2015)

Efficient Temporal Reasoning with Uncertainty (Licentiatavhandling, monografi)

https://dx.doi.org/10.3384/lic.diva-119409

2014

Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2014)

Incremental Dynamic Controllability in Cubic Worst-Case Time Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME), s. 17-26 (Konferensbidrag)

https://dx.doi.org/10.1109/TIME.2014.13

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

Universitetslektor

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 Johanna Groven

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 Leo Jarhede

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, Enhetschef

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

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

Forskningsingenjör

Fotografi av Damien Van Meerbeeck

Damien Van Meerbeeck

Fotografi av Arman Mohammadi

Arman Mohammadi

Fotografi av Mariam Musavi

Fotografi av Farid Musayev

Fotografi av Ulf Nilsson

Professor emeritus

Fotografi av Romina Oji

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

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.