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".
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.
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.
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.
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.
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
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
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
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, firstname.lastname@example.org
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.
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.
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.
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.
Page responsible: Webmaster