News 2021
Member of Swedish Academy of Engineering Sciences (IVA)
Among the 41 new members that will strengthen the pool of expertise at IVA,
there are 3 members in the area of Information Technology, and one of these is
professor Simin Nadjm-Tehrani at IDA.
Read more
Security-Aware Design of Cyber-Physical Systems for Control Applications
By expansion of IoT in the recent years, cyber-physical systems are more and
more exposed to security threats. In his dissertation, Rouhollah Mahfouzi has
focused on security threats to
control applications in cyber-physical systems. Rouhollah has provided
detection, prevention,
and mitigation solutions to attacks considering the stringent resource
constraints and important properties of such systems.
Read more
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 desires to robots that are conducive to
predicting their behavior. It identifies ascriptions of beliefs that depend on
what the robot can and cannot perceive in the environment as a particularly
challenging aspect of this broader problem. An important implication of the
dissertation is that the assumptions that drive folk-psychological ascriptions
to robots need to be studied in considerably more detail in the future.
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
Page responsible: Webmaster