Software and Systems (SAS)

The Division of Software and Systems is part of the Department of Computer and Information Science. The division conducts research and education in software engineering and computer systems.

A person sits in front of a computer screen and handles a floor robot Photo credit Jonas Järmen Research and education are conducted in the following areas:

  • Software Engineering
  • Programming Models and Environments
  • Software and System Modelling and Simulation
  • System Software
  • Embedded/Cyberphysical Software/Hardware Systems
  • Computer Systems Engineering
  • Real-Time Systems and System Dependability
  • Parallel and Distributed Software and Systems
  • Software and System Verification and Testing

Research

The research activities covers both basic research and projects in cooperation with industry - projects are or have been conducted in cooperation with ABB Robotics, ABB Industrial Systems, Ericsson Softlab AB, Ericsson Radio Systems, Ericsson Telecom, SKF, Saab, Saab Dynamics, Saab Combitech and several other companies.

Hands on laptop keyboard, a circuit board in the background Photo credit Jonas Järmen
In addition, the research activities include several long-term open-source system development efforts, such as the OpenModelica framework for object-oriented equation-based modeling and simulation of cyberphysical systems, and the SkePU high-level programming framework for heterogeneous parallel systems.

Nine full professors, eight associate/assistant professors and several postdocs are involved in the research together with about 25 graduate students.

Students listening to a teacher pointing to an example at a big screen. Photo credit Jonas Järmen

The SaS Seminars is a permanent series of open seminars with topics related to research at the division.




Research is conducted in the following laboratories

Embedded Systems (ESLAB)
Codesign and design for testability of embedded/cyberphysical hardware/software systems and formal methods for embedded systems.

Programming Environments (PELAB)
Software engineering tools and architectures, large-scale software engineering, model-based software engineering, programming languages and systems, including compilers, debuggers, testing tools, and programming tools for parallel, distributed and real-time systems.

Knowledge-Driven Data Management Laboratory (KDMLAB) 

Research includes knowledge-driven data management and analysis, ontologies, and sports analytics. The unit also teaches all database courses at the department.

Education

The division accounts for a significant share of the department's comprehensive undergraduate and master-level education activities, operating about 70 undergraduate/master-level courses per year as well as providing final-thesis supervision.Group of students working on computers.. Photo credit Jonas Järmen
The undergraduate teaching activities are jointly carried out by the researchers and by the UPP education group for programming and programming didactics, which consists of about ten full-time university teachers and many teaching assistants.

Doctoral studies are offered in the field of Computer Science.


News at SAS

News and major articles

Man står i en aula

Hockey analytics is growing – international conference brings experts to Linköping

When the international hockey analytics conference was recently held in Linköping, researchers, students and representatives from hockey organisations and companies from several countries came together.

First researchers in the new Fenomenmagasinet

When the science centre Fenomenmagasinet opens its new premises in the Valla leisure area, it also opens the possibility of closer collaboration with LiU. Researchers Aseel and Erik Berglund will be among the first to move in.

Mikael Asplund in the cybersecurity lab.

New cybersecurity lab at LiU

The new cybersecurity lab is a milestone in Linköping University´s investment in education in this field. The students should feel that "wow, it's possible to do something exciting here", said Vice-rector Matts Karlsson at the inauguration on 7 May.

Research at SAS

More research projects

Latest publications

2026

Ying Li (2026) Logic-based Repairing of Ontologies and Knowledge Graphs (Doctoral thesis, monograph) https://dx.doi.org/10.3384/9789181186185
Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Daniel Varro (2026) JunoBench: A Benchmark Dataset of Crashes in Python Machine Learning Jupyter Notebooks AIware '26: Proceedings of the 3rd ACM International Conference on AI-Powered Software, p. 406-413 (Conference paper) https://dx.doi.org/10.1145/3805760.3814934
Willem Meijer, Kristian Sandahl, Daniel Varro (2026) Data-aware Static Analysis: Improving Semantic Fault Detection in Machine Learning Code Using Data Characteristics Proceedings of the IEEE/ACM 48th International Conference on Software Engineering, p. 31-35 (Conference paper) https://dx.doi.org/10.1145/3786582.3786805
Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist, Johannes Klaus Fichte (2026) Representative Sets in Propositional Abduction Proceedings of the 42nd International Conference on Logic Programming (Conference paper) https://dx.doi.org/10.4204/EPTCS.450.1
Filip Strömbäck (2026) Introduction to Concurrent Programming in C: An Open Course Book With Program Visualizations PROCEEDINGS OF THE 57TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION V.2, SIGCSE TS 2026, p. 1537-1538 (Conference paper) https://dx.doi.org/10.1145/3770761.3777196
Najmeh Miri, Shahrzad Khayatbashi, Jelena Zdravkovic, Amin Jalali (2026) An object-centric approach to multi-entity Educational Process Mining Decision Analytics Journal, Vol. 19, Article 100724 (Article in journal) https://dx.doi.org/10.1016/j.dajour.2026.100724
Aren A. Babikian, Attila Ficsor, Oszkar Semerath, Gunter Mussbacher, Daniel Varro (2026) Automated and logically exhaustive generation of traffic scenarios at road junctions using a multi-level danger definition Software and Systems Modeling (Article in journal) https://dx.doi.org/10.1007/s10270-026-01372-y
John Beverley, C. Maria Keet, Naveen Lamba, Patrick Lambrix, Sanju Tiwari, Stefano De Giorgis, Guendalina Righetti, Gabriele Sacco, João Luiz Rebelo Moreira, Walter Terkaj, Adrien Barton, Mattia Fumagalli, Oliver Kutz, Damion M. Dooley, Davide Audrito, Francesca Grasso, Roberto Nai, Emilio Sulis, Peter L. Elkin, Jeremy Ravenel, Ken Archer, José M. Parente de Oliveira, Alcides Lopes, Luana Bulla, Gabriele Tuccio, Giusy Giulia Tuccari, Ítalo Oliveira, Daniele Francesco Santamaria, Gal Engelberg, Gianpietro Castiglione, Giampaolo Bella, Antonis Bikakis, Roberta Ferrario, Stéphane Jean, Béatrice Markhoff, Alessandro Mosca, Marianna Nicolosi Asmundo, Maria M. Hedblom, Bart Gajderowicz, Daniela Rosu, Janna Hastings, Jacqueline Csonka-Peeren, William D. Duncan, Julie Bowker, Hollen Reischer, Yongun He, Fabrício Henrique Rodrigues, Alessandro Umbrico, Emilio M. Sanfilippo, Fabio Longo (Editorship) (2026) Proceedings of the Joint Ontology Workshops (JOWO) - Episode XI: The Sicilian Summer under the Etna, co-located with the 15th International Conference on Formal Ontology in Information Systems (FOIS 2025), Catania, Italy, September 8-12, 2025 (Conference proceedings (editor))
Patrick Lambrix, Ying Li (2026) Position paper: Issues in Logic-based Repairing of Knowledge Graphs Proceedings of the Workshop on Quality of Knowledge Graphs (QKG 2026): co-located with the 23rd European Semantic Web Conference (ESWC 2026), p. 29-41 (Conference paper)
Anjo Seidel, Mathias Weske, Marco Montali, Andrey Rivkin, Manfred Reichert, Jan Martijn E. M. van der Werf, Wil M. P. van der Aalst, Marius Breitmayer, Lukas Liss, Jan Niklas van Detten, Amin Jalali, Shahrzad Khayatbashi, König Maximilian, Tom Lichtenstein, Stefanie Rinderle-Ma, Barbara Weber, Pnina Soffer, Lorenzo Rossi, Daniel Calegari Garcia, Andrea Delgado, Remco Dijkman, Sarah Winkler, Matthias Weidlich, Sander J. J. Leemans, Dirk Fahland, Ava Swevels, Monique Snoeck, Giancarlo Guizzardi, Alessandro Gianola, Avigdor Gal, Ekkart Kindler, Irina Lomazova, Barbara Re, Giovanni Meroni, Andrea Morichetta, Alessandro Marcelletti, Sara Pettinari, Boudewijn van Dongen, Johannes De Smedt, Majid Rafiei, Julius Köpke, Thomas Hildebrandt, Francesca Zerbato, Luise Pufahl, Hajo Reijers, Artem Polyvyanyy, Chiara Di Francescomarino, Fabrizio Maria Maggi, Oscar Pastor, Stephan Haarmann, Henderik Proper, Xixi Lu, Hugo López, Tijs Slaats, Jochen De Weerdt, Massimiliano de Leoni, Niels Martin, Karolin Winter, Nick van Beest, Orlenys López-Pintado, Sebastiaan van Zelst, Chiara Ghidini, Arik Senderovich (2026) Object-centric Process Management: A Research Manifesto Information Systems, Vol. 141, Article 102728 (Article in journal) https://dx.doi.org/10.1016/j.is.2026.102728

Contact us

Staff at SAS

All staff at SAS

About the department