Hide menu

SaS Seminars

Software and Systems Research Seminar Series


The SaS Seminars are a permanent series of open seminars of the Division of Software and Systems (SaS) at the Department of Computer and Information Science (IDA), Linköping University. The objective of the seminars is to present outstanding research and ideas/problems relevant for SaS present and future activities. In particular, seminars cover the SaS research areas software engineering, programming models and environments, software and system modeling and simulation, system software, embedded SW/HW systems, computer systems engineering, parallel and distributed computing, realtime systems, system dependability, and software and system verification and testing.

Two kinds of seminars are planned:

  • talks by invited speakers not affiliated with SaS,

  • seminars by SaS researchers presenting lab research to whole SaS (and other interested colleagues).

The speakers are expected to give a broad perspective of the presented research, adressing the audience with a general computer science background but possibly with no specific knowledge in the domain of the presented research. The normal length of a presentation is 60 minutes, including discussion.

The SaS seminars are coordinated by Christoph Kessler.



SaS seminars 2025


Upcoming: (details below)


Liquid Computing

Prof. Jan Madsen, DTU

Thursday, 6 March 2025, 13:15, room Alan Turing, IDA

Abstract:
A key turning point for the evolution of modern computers was the introduction of the general-purpose computer architecture which allowed the computer to be programmed after hardware fabrication. This allowed hardware to be designed bottom-up, providing a hardware independent programming interface which could then be compiled from a high-level programming language, effectively separating the design of hardware (processor) and software (application). Today, microfluidic Lab-on-Chip are still mainly developed as hardcoded applications using passive operations, even though microfluidic technologies have the potential to scale. In this talk we argue that such scaling will require active components and the ability to abstract basic operations to a level similar to that of classical computation, and present a digital microfluidic-based general-purpose Lab-on-Chip that can be programmed after fabrication. We show that parallel execution of multiple protocols are possible, and that EDA tools for MPSoC can be adapted to solve and optimize protocol execution on digital microfluidic Lab-on-Chip, which we call liquid computing.

Speaker's bio:
Jan Madsen is Full Professor in Computer-Based Systems and Head of Department of Applied Mathematics and Computer Science (DTU Compute). He holds a MSc in Electrical Engineering (1986, DTU) and a PhD in Computer Science (1992, DTU). His research interests are in the intersection between computer science and biotechnology, with a special focus on design, modelling, and construction of microelectronic (MPSoC and IoT), microfluidic (Lab-on-Chip) and microbiological (molecular) computing systems, including the development of design automation tools and design methodologies. In these fields, he has co-authored more than 200 peer-reviewed journal and conference papers, 3 books, 13 book chapters, and 3 patents. He has co-supervised 51 PhDs. He was the General Chair of DATE 2018, NOCS 2012, CODES 2001 and the Technical Program Chair of DATE 2007, CODES+ISSS 2011, CODES 2000. Dr. Madsen is a board member of EDAA, member of the Academy of Technical Sciences and its Council for Technology and Society. He was National ICT Expert for EU Horizon 2020. He is member of IEEE and ACM.


Towards Trustworthy and Factual Large Language Models

Prof. Fredrik Heintz, IDA

Tuesday, 4 March 2025, 13:15, room Ada Lovelace, IDA

Abstract:
Europe has taken a clear stand that we want AI, but we do not want just any AI. We want AI that we can trust. This talk will present ongoing research from the EU project TrustLLM which has the goal of developing more factual and trustworthy large language models. To achieve the ambitious objectives of this project, TrustLLM will tackle the full range of challenges of LLM development, from ensuring sufficient quality and quantity of multilingual training data, to sustainable efficiency and effectiveness of model training, to enhancements and refinements for factual correctness, transparency, and trustworthiness, to a suite of holistic evaluation benchmarks validating the multi-dimensional objectives.

Speaker's bio:
Fredrik Heintz is a Professor of Computer Science at Linköping University, where he leads the Division of Artificial Intelligence and Integrated Computer Systems (AIICS) and the Reasoning and Learning lab (ReaL). His research focus is artificial intelligence especially Trustworthy AI and the intersection between machine reasoning and machine learning. He is director of the Wallenberg AI and Transformative Technologies Education Development Program (WASP-ED), Co-director of the Wallenberg AI, Autonomous Systems and Software Program (WASP), Coordinator of the TrustLLM project, and Vice President for AI Research Adra the AI, Data, and Robotics partnership. Member of the Swedish AI Commission. Fellow of the Royal Swedish Academy of Engineering Sciences (IVA).


Composition and Automated Verification of Stateful Security Protocols in Isabelle/HOL

Associate Prof. Sebastian Mödersheim, DTU, Denmark

Friday, 28 February 2025, 10:15, room Ada Lovelace, IDA

Abstract:
Composition is the question: given that two protocols are secure in isolation, are they also secure together - running on the same network and sharing the same key infrastructure? A particular challenge is if the protocols are stateful, e.g., a server that maintains long-term information in a database; if such a server is involved in more than one protocol, then compositional verification requires an appropriate interface between the protocols in terms of assumptions and guarantees by each protocol concerning the database. One can then verify that each protocol is secure in isolation w.r.t. this interface, and obtain that the composed system is secure. The compositionality theorem is formalized in Isabelle/HOL so one can automatically check the requirements to the protocols and thus turn a proof of security for individual protocols into a proof for the composed protocol. To obtain the proof for the individual protocols automatically, too, we have designed the PSPSP tool that uses abstract interpretation to obtain an Isabelle proof for a large class of stateful protocols. Together one can thus automatically obtain a machine-checked proof for many composed stateful protocol systems.

Speaker's bio:
Sebastian Mödersheim received his PhD in 2006 at ETH Zürich (advisor: David Basin). During 2007-2009 he was postdoc at IBM Zürich. Since 2010 he is Associate Professor at DTU in the Software Systems Engineering group (former Formal Methods, former Language-Based Technology headed by Hanne Riis Nielson). His research interests include: formal methods for security and privacy, specifically modelling; automated verification; and compositional reasoning for security protocols. He developed many verification tools (and corresponding languages), including AVISPA/OFMC, AIF, and PSPSP.



Previous SaS Seminars

For previous SaS seminars in 2001 - 2024 see below.

Page responsible: Christoph Kessler
Last updated: 2025-04-28