Hem
Fotografi av Daniel Varro

Daniel Varro

Professor, Enhetschef

Publikationer

2025

Boqi Chen, Kristof Marussy, Oszkar Semerath, Gunter Mussbacher, Daniel Varro (2025) Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation Data mining and knowledge discovery, Vol. 40, Artikel 11 (Artikel i tidskrift) Vidare till DOI
Masoud Sadrnezhaad, José Antonio Hernández López, Torvald Mårtensson, Daniel Varro (2025) Generative AI in Simulation-Based Test Environments for Large-Scale Cyber-Physical Systems: An Industrial Study Product-Focused Software Process Improvement: 26th International Conference, PROFES 2025, Salerno, Italy, December 1–3, 2025, Proceedings, s. 203-219 (Konferensbidrag) Vidare till DOI
Máté Földiák, Kristóf Marussy, Dániel Varró (2025) Model-based stochastic analysis with probabilistic graph query evaluation Software and Systems Modeling (Artikel i tidskrift) Vidare till DOI
Dominik Frey, Ulf Kargén, Dániel Varró (2025) Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles Proceedings of the ACM on Software Engineering, Vol. 2, s. 985-1008 (Artikel i tidskrift) Vidare till DOI
Mootez Saad, José Antonio Hernández López, Boqi Chen, Dániel Varró, Tushar Sharma (2025) An Adaptive Language-Agnostic Pruning Method for Greener Language Models for Code Proceedings of the ACM on Software Engineering, Vol. 2, s. 1183-1204 (Artikel i tidskrift) Vidare till DOI

Nyheter

Bild på 8 personer och en roll up

Miljoner till kvalitetssäkring av programvara

Vinnova tilldelar Kristian Sandahl med kollegor vid Inst för datavetenskap 5,6 miljoner kr till utveckling av metoder för kvalitetssäkring av programvara genererad av AI-modeller. Med bidrag från företag och LiU omsätter projektet 18 miljoner kr.

Forskning

serverhall

Cybersäkerhet

Välkommen till cybersäkerhetsplattformen vid Institutionen för datavetenskap vid Linköpings universitet. Här hittar du information om forskning och utbildning inom cybersäkerhet, samt forskare och lärare som är aktiva inom fältet.
robothund Spot, drönare, liten helikopter, operatör

WASP vid Institutionen för datavetenskap (IDA)

WASP, Wallenberg AI autonomous systems and software program, är den största enskilda forskningssatsningen i Sverige i modern tid. En av forskningsmiljöerna kopplade till WASP vid Linköpings universitet, finns vid Institutionen för datavetenskap.

Om avdelningen

En person sitter framför en datorskärm och hanterar en golvrobot

Programvara och system (SAS)

Programvara och system är en avdelning vid Institutionen för datavetenskap för forskning och utbildning inom programvaruteknik och datorsystem. Forskningen omfattar både grundforskning och projekt i samarbete med industrin.

Kollegor vid SaS

Fotografi av Mina Abd Nikooie Pour
Mina Abd Nikooie Pour
Doktorand
Fotografi av Klas Arvidsson
Klas Arvidsson
Universitetsadjunkt
Fotografi av Adeel Asghar
Adeel Asghar
Fotografi av Ayla Babazade
Ayla Babazade
Doktorand
Fotografi av Amin Bajand
Amin Bajand
Doktorand
Fotografi av Aseel Berglund
Aseel Berglund
Biträdande professor
Fotografi av Lena Buffoni
Lena Buffoni
Universitetslektor, Docent
Fotografi av Adriana Concha
Adriana Concha
Doktorand
Platshållare för saknad bild till Hanna Ekstam Ahlberg
Hanna Ekstam Ahlberg
Fotografi av Eric Ekström
Eric Ekström
Universitetsadjunkt
Fotografi av Petru Eles
Petru Eles
Professor emeritus
Fotografi av Emma Enocksson Svensson
Emma Enocksson Svensson
Universitetsadjunkt
Fotografi av August Ernstsson
August Ernstsson
Universitetsadjunkt
Fotografi av Dominik Frey
Dominik Frey
Doktorand
Fotografi av Peter Fritzson
Peter Fritzson
Professor emeritus
Fotografi av Máté Földiák
Máté Földiák
Doktorand
Platshållare för saknad bild till Priyansh Gupta
Priyansh Gupta
Fotografi av Pontus Haglund
Pontus Haglund
Universitetsadjunkt
Fotografi av Olaf Hartig
Olaf Hartig
Biträdande professor
Platshållare för saknad bild till Jonathan Hjort
Jonathan Hjort
Doktorand
Fotografi av Christoffer Holm
Christoffer Holm
Tekniker
Fotografi av Abdelazim Hussien
Abdelazim Hussien
Doktorand
Fotografi av Torbjörn Jonsson
Torbjörn Jonsson
Universitetsadjunkt, Enhetschef
Fotografi av Filip Josefsson
Filip Josefsson
Doktorand
Platshållare för saknad bild till Dag Jönsson
Dag Jönsson
Tekniker
Fotografi av Mariam Kamkar
Mariam Kamkar
Professor emerita
Fotografi av Ulf Kargén
Ulf Kargén
Biträdande universitetslektor
Fotografi av Christoph Kessler
Christoph Kessler
Professor, Avdelningschef
Fotografi av Shahrzad Khayatbashi
Shahrzad Khayatbashi
Doktorand
Fotografi av Sajad Khosravi
Sajad Khosravi
Doktorand
Fotografi av Patrick Lambrix
Patrick Lambrix
Professor, Avdelningschef
Fotografi av Ying Li
Ying Li
Doktorand
Fotografi av Sebastian Litzinger
Sebastian Litzinger
Postdoktor
Fotografi av Willem Meijer
Willem Meijer
Doktorand
Fotografi av Torvald Mårtensson
Torvald Mårtensson
Adjungerad universitetslektor
Fotografi av Erik von Nastase
Erik von Nastase
Amanuens
Fotografi av Magnus Nielsen
Magnus Nielsen
Tekniker
Platshållare för saknad bild till Aron Nikku
Aron Nikku
Amanuens
Platshållare för saknad bild till Victor Nyberg
Victor Nyberg
Doktorand
Fotografi av Viktor Olsson
Viktor Olsson
Tekniker
Fotografi av Helena Orädd
Helena Orädd
Doktorand
Platshållare för saknad bild till Yungang Pan
Yungang Pan
Doktorand
Fotografi av Zebo Peng
Zebo Peng
Proprefekt, Professor, Enhetschef
Fotografi av Adrian Pop
Adrian Pop
Förste forskningsingenjör, Docent
Fotografi av Ahmed Rezine
Ahmed Rezine
Universitetslektor, Docent
Fotografi av Masoud Sadrnezhaad
Masoud Sadrnezhaad
Doktorand
Fotografi av Kristian Sandahl
Kristian Sandahl
Professor emeritus
Platshållare för saknad bild till Sonia Sangari
Sonia Sangari
Fotografi av Martin Sjölund
Martin Sjölund
Universitetslektor
Fotografi av Filip Strömbäck
Filip Strömbäck
Universitetslektor
Platshållare för saknad bild till Daniel Ståhl
Daniel Ståhl
Adjungerad universitetslektor, Docent
Platshållare för saknad bild till Xin Sun
Xin Sun
Doktorand
Fotografi av Xiaopeng Teng
Xiaopeng Teng
Doktorand
Platshållare för saknad bild till John Tinnerholm
John Tinnerholm
Fotografi av Yiran Wang
Yiran Wang
Doktorand
Platshållare för saknad bild till Per Östlund
Per Östlund

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