Search liu.se

John Törnblom at the Department of Computer and Information Science (IDA) defends his thesis entitled: "Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles". Main Supervisor: Simin Nadjm-Tehrani, Professor, IDA Opponent:...

The SAS division is part of the Department of Computer and Information Science. The division conducts research and education in software engineering and computer systems,  covering both basic research and projects in cooperation with industry.

Today’s society rests on cyber security and the ability to be one step ahead of hackers. In recent years, a new threat has emerged – AI. However, according to researchers Elisa Bertino and Simin Nadjm-Tehrani, AI could also be part of the solution.

On March 3, Mina Niknafs at the Dept of Computer and Information Science defended her thesis on resource management. "Pursuing a PhD at IDA is an enriching experience that combines academic freedom with a supportive research culture", she says.

Kristian Sandahl and colleagues, SAS, IDA, receive SEK 5,6 million from Vinnova to advance methods for quality assurance of software generated by AI models. With contributions from companies and LiU, the project will turn over almost SEK 18 million.

On October 4, Klervie Toczé, Dept of Computer and Information Science, defended her thesis on the use of computing resources and sustainability in edge computing. Now she has moved to Amsterdam for a postdoc in sustainable urban gardening.

The race between hackers trying to crack systems vital to the functioning of society and cybersecurity experts is constantly ongoing. LiU-researchers will now develop AI that can detect hacker attacks and take action before any damage is done.

Humans are hunters and gatherers. But in today’s modern society, we are sitting more than ever, which is bad for our Stone Age body. Researchers Aseel and Erik Berglund want to change this with the help of computer games at work.

OpenModelica is a free tool, partially developed at Linköping University, to model and simulate complex systems. It is an open-source system, which enables many actors to contribute and benefit companies and society.

OpenModelica, a free software program that is built on open source code and developed mostly at Linköping University, is used to generate code for streamlined regulation of close to one-tenth of German electricity production.