Social Robots as Intentional Agents

Robotic systems, such as autonomous vehicles and humanoid robots, are typically technologically complex. This means that their actions can be difficult to understand and predict. According to findings presented in Sam Thellman’s dissertation, this means that people who encounter such systems in their daily lives may sometimes have to consider what these systems “know” and “want” to interact purposefully with them. The dissertation analyses the problem of ascribing the specific beliefs and desire
Read more

Semantic Technologies for Streaming Data and Uncertainty

The need to be able to analyze and combine different types of streaming data exists within many domains. In his dissertation, Robin Keskisärkkä has studied and developed methods to deal with uncertainty over streaming data using semantic technologies.
Read more

Distinguished Paper IJCAI 2021

At IJCAI 2021, Simon Ståhlberg and Jendrik Seipp together with Guillem Francès at Universitat Pompeu Fabra in Barcelona, have been awarded a prize for their article "Learning Generalized Unsolvability Heuristics for Classical Planning".
Read more

Amazon Scholar

Olaf Hartig has been selected for the Amazon Scholars program. As the only Amazon Scholar from all of the Nordic Countries, this program will give Olaf the unique opportunity to apply his research methods within a team at Amazon. The team that Olaf will be working with builds and operates AWS Neptune, which is a fully-managed cloud database system for graph databases and knowledge graphs.

Best Paper Award SEMANTiCS 2021

Robin Keskisärkkä, together with Eva Blomqvist and Olaf Hartig, won the Best Paper Award at SEMANTiCS 2021 (the 16h International Conference on Semantic Systems). The title of the award-winning paper is "Optimizing RDF Stream Processing for Uncertainty Management.
Read more

Award for unique teaching efforts within LiTH

This year the award goes to four teachers and one of them is Mikael Asplund, who is rewarded for his work with gender issues and classroom culture.
Read more

The best master/bachelor thesis award 2020

This year the 23rd prize for best undergraduate thesis was awarded by the computer society in collaboration with IDA. Seven theses had been nominated and two of these, written by four students were announced as the prize winners by the Promotor Mikael Asplund.
Read more

Best Student Paper Award

Suleman Khan together with Andrei Gurtov and colleagues from Vrije Universiteit Brussel and Swansea University, received the Best Student Paper Award at INCS 2021 (the 21st Integrated Communications, Navigation, and Surveillance Conference) for the paper "A Security Model for Controller-Pilot Data Communication Link".

Parameterized Verification of Synchronized Concurrent Programs

There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of processes. Sometimes, violation of the correctness properties in such systems causes human or resource losses; therefore, it is crucial to check the correctness of such systems.

Formal verification is the approach for proving program correctness. Model checking is a formal verification technique that is suitable for concurrent programs. It aims to automatically establish the correctness (expressed in terms of temporal properties) of a program through an exhaustive search of the behavior of the system. Model checking was initially introduced for the purpose of verifying finite-state concurrent programs, and extending it to infinite-state systems is an active research area.

In her PhD thesis, Zeinab Ganjei studied formal verification of parameterized systems. That is, systems in which the number of executing processes is not bounded a priori. She provided fully-automatic and parameterized model checking techniques for establishing the correctness of safety properties for certain classes of concurrent programs such as 1) phaser programs, 2) programs that count the number of threads satisfying different predicates, and 3) a class of fault-tolerant distributed programs described in the Heard-Of (HO for short) model.
Read more

Nomination for Gyllene Moroten

Every year, LinTek hands out the "Gyllene Moroten" award for distinguished achievements in teaching at LiTH. Among this year's nominees are two teachers from IDA: Magnus Nielsen and Marco Kuhlmann
Read more

IDA's award for best online teaching

During the past year, most of IDA's teaching has been conducted online, and all of our teachers have put a lot of work and energy into reorganizing their classes. Many have developed new pedagogical approaches and produced new teaching material.
IDA would like to showcase some of the best examples and draw attention to our teachers’ remarkable pedagogical and technical competence through an award for best online teaching. The prize is awarded for a recorded teaching component, such as an online lecture or a seminar.
The prize money is SEK 20,000.
All nominated contributions will be reviewed by a jury and the winner will be announced at the end of the summer.
Terms and Conditions:
• The purpose is to inspire further improvements in distance education by highlighting good examples of how the medium can be used in a pedagogical context.
• Only recorded entries will be considered. (The jury is not available to judge live teaching at any time.)
• Only IDA teachers, i.e., employees and part-time assistants (?) who lead IDA's courses, can be nominated.
• Only IDA courses in undergraduate or commissioned (?) education will be considered, i.e., the focus is on pedagogical material for our students. Courses from all faculties and study programs are welcome, including independent courses.
• The material can be in Swedish or English.
• The assessment will be made based on a section of the submitted material. (The jury cannot look through hours of lectures/seminars, and therefore they reserve the right to "fast-forward".)
• It is possible to nominate newly recorded material, i.e., it is permitted to re-record a section of a previous lecture or seminar for the purpose of improvement.
• The prize is handled in the same way as IDA's prizes for good teaching efforts (course evaluations>4), i.e., the prize amount can be used for anything that supports teaching at IDA: competence development, study trips, equipment, etc.
• The prize is given to the teacher or group that developed the material. The prize may be shared among several teachers/groups, at the jury’s discretion. Submitted entries must be publicly available (preferred) or made available to the jury (e.g., by login).
• Winners are expected to make the recording publicly available as inspiration for other teachers.
• The jury cannot be bribed


Nomination procedure:
Anyone, both employees and students, can nominate instructional content for this award. To submit a nomination, send a link to the recording together with a short description of how the video submission fits into the course (or equivalent). Do not attach large files / movies.

Email nominations to: Erika Larsson, erika.larsson@liu.se

Deadline for nominations: June 7, 2021

The jury consists of:
Carl Magnus Bruhner, Student Representative
Inger Erlander Klein, chair DM-nämnden
Ulf Nilsson, former Dean

Chair for the IEEE Sweden Section

Professor Andrei Gurtov has been elected a Chair of the IEEE Sweden Section. It includes nearly 2000 members in 14 different Chapters and Affinity Groups.
IEEE is the world’s largest professional association advancing innovation and technological excellence for the benefit of humanity serving more than 400,000 members in over 160 countries.
Read more

Vulnerability and Risk Analysis Methods and Application in Large Scale Development of Secure Systems

Software products are building blocks of today’s connected society, and design and implementation of resilient software products is one of the challenging areas for software vendors. It is specially challenging to comply to cyber security standards and legislations where it is expected that cyber security risks are well understood and addressed.
In a recent PhD thesis at IDA, Shanai Ardi addressed some of these challenges faced by software vendors and presented two approaches to reduce the risk of introducing security weaknesses to software products during the software life cycle. The first approach is a technically sustainable software security process to develop a deep understanding of software vulnerabilities and their causes and how to improve software development processes by deploying security activities. The second approach is a security risk assessment method introduced to the requirements engineering phase to identify security risks in functional requirements at a low level of abstraction. A case study spanning four years describes how this approach is transferred form theoretical research results to regular use in a large enterprise.
Read more

LiU Innovation prize for the entrepreneurial teacher of the year

Aseel Berglund has been awarded as "Linköping's entrepreneurial teachers 2020" by LiU Innovation with the motivation:
This year's laureate is a frontier rider who moves between academia and industry. Aseel Berglund contributes to an entrepreneurial culture at Linköping University, both as inspiration for teaching colleagues and for students where she integrates utilization, entrepreneurship and innovation both as a researcher and teacher, where she has - together with colleagues - created new courses that really engage students.
Read more

Safer shipping with AI

Magnus Bång, KMACS/HCS and Jonas Lundberg, ITN, are together with "Sjöfartsverket" in the project AutoMon performing research on AI methods for monitoring sea traffic. Their goal is to increase traffic safety - in the Swedish waters - by analysing ship movements in real time to identify potential incidents and unsafe traffic behaviour.
Read more