Hem
Fotografi av Johannes Klaus Fichte

Johannes Klaus Fichte

Universitetslektor

Publikationer

2025

Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist, Johannes Klaus Fichte (2025) Complexity of Faceted Explanations in Propositional Abduction Theory and Practice of Logic Programming (Artikel i tidskrift) Vidare till DOI
Johannes Klaus Fichte, Tobias Philipp (2025) Verified SAT Redundancy Checking in SPARK 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025): Work-in-progress track (Konferensbidrag)
Daniel Gnad, Markus Hecher, Sarah Gaggl, Dominik Rusovac, David Speck, Johannes Klaus Fichte (2025) PlanPilot: Interactive Exploration of Plan Spaces Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) (Konferensbidrag)
Michelle Kornherr, Augusto B. Corrêa, Sarah Gaggl, Markus Hecher, Dominik Rusovac, David Speck, Johannes Klaus Fichte, Daniel Gnad (2025) Graphical Navigation in Solution Spaces using PlanPilot
Johannes Klaus Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson (2025) Facets in Argumentation: A Formal Approach to Argument Significance Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI'25) (Konferensbidrag)

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
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 Patrick Doherty
Patrick Doherty
Professor
Fotografi av Ehsan Doostmohammadi
Ehsan Doostmohammadi
Fotografi av Dominik Drexler
Dominik Drexler
Postdoktor
Platshållare för saknad bild till Leif Eriksson
Leif Eriksson
Doktorand
Platshållare för saknad bild till Josef Fagerström
Josef Fagerström
Doktorand
Fotografi av Hoda Fakhar
Hoda Fakhar
Doktorand
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
Fotografi av Arash Haratian
Arash Haratian
Doktorand
Platshållare för saknad bild till Kristina von Hausswolff
Kristina von Hausswolff
Postdoktor
Fotografi av Fredrik Heintz
Fredrik Heintz
Professor, Avdelningschef, Enhetschef
Fotografi av Oskar Holmström
Oskar Holmström
Doktorand
Fotografi av Paul Höft
Paul Höft
Doktorand
Fotografi av Leo Jarhede
Leo Jarhede
Amanuens
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 Oliver Jørgensen
Oliver Jørgensen
Doktorand
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
Fotografi av 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 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
Fotografi av Piotr Rudol
Piotr Rudol
Forskningsingenjör
Fotografi av Jendrik Seipp
Jendrik Seipp
Biträdande professor, Enhetschef
Fotografi av Md Fahim Sikder
Md Fahim Sikder
Doktorand
Fotografi av Mika Skjelnes
Mika Skjelnes
Doktorand
Fotografi av Amath Sow
Amath Sow
Doktorand
Fotografi av Andrzej Szalas
Andrzej Szalas
Professor emeritus
Fotografi av Gustaf Söderholm
Gustaf Söderholm
Doktorand
Fotografi av Mattias Tiger
Mattias Tiger
Biträdande universitetslektor
Platshållare för saknad bild till Olle Torstensson
Olle Torstensson
Doktorand
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