Research projects and cooperations in Computer Science

In the third-party funded projects and research cooperations in the focus area “Computer Science” and at the Saarland Informatics Campus, scientists at the UdS conduct research on about 30 topics. Starting with Theoretical Computer Science, Formal Methods, Algorithms and Complexity, over Artificial Intelligence, Machine Learning, Computational Linguistics up to Embedded Systems and Language Processing.

Below we have compiled a selection of currently running research projects and cooperations in the field of computer science.

 

Interdisciplinary Institute for Societal Computing (I2SC)

The Interdisciplinary Institute for Societal Computing (I2SC) promotes interdisciplinary research at Saarland University and provides a platform for exchange between social sciences, humanities and computer sciences. Founded in 2023, it is headed by Ingmar Weber, Alexander von Humboldt Professor of Artificial Intelligence, and Daniela Braun, Professor of Political Science.

The research work of the institute is divided into two main areas: Computing of Society and Computing for Society. The first focus area concentrates on the use of computer-based methods to explore social phenomena. The second focus is on using these methods to develop approaches to improve social coexistence.

The I2SC sets out to create research with impact that radiates within academia and beyond by forging partnerships with a diverse set of actors on the ground such as civil society organizations, businesses, and governments.

 

German Research Foundation (DFG)

Two Collaborative Research Centers (CRC), one of which is a so-called Transregio in which several universities work closely together, as well as a Graduate School are located in the Computer Science and Saarland Informatics Campus (SIC).

 

Collaborative Research Centers (CRC)

CRC/TRR 248: Foundations of Perspicuous Software Systems
  • Project lead: Prof. Dr. Holger Herrmanns (Dependable Systems and Software)
  • Funding period: since 2019
  • Speaker University: Saarland University

Whether in autonomous vehicles or Industry 4.0, in the smart home or in the smart cities of the future - computer programs are increasingly involved in activities and decisions that directly affect humans. However, our understanding of how such complex systems interact and which reasons lead to which decisions is completely inadequate. Systems lack mechanisms to make their own behavior plausible. Consistently comprehensible systems thus represent a scientific challenge that has so far remained largely unsolved. The Collaborative Research Center addresses this challenge and lays the foundations for computer-based systems of the future that explain their functionality and behavior.

Go to the website of the CRC/TRR 248

 
CRC 1102: Information Density and Linguistic Encoding (IDeaL)
  • Project lead: Prof. Dr. Elke Teich (English Linguistics and Translation Studies)
  • Funding period: since 2014

Variation in the language system is usually associated with the concept of complexity. However, this turns out to be insufficiently precise for adequate modeling of linguistic processes. Recent linguistic research indicates a correlation between complexity in processing and contextually determined predictability. This suggests that complexity can be adequately represented by Shannon's notion of information, here referred to as "surprisal". The Collaborative Research Center pursues the hypothesis that processing complexity is reflected by surprisal and that variation in language use can be characterized by optimal information distribution over a linguistic signal. Speakers exploit the available linguistic variation in their encodings by modulating the sequence, density, and specificity of an expression. The Collaborative Research Center investigates to what degree surprisal and related information-theoretic concepts can provide an explanation for the observed patterns of variation at different linguistic levels and in the interplay between levels.

Go to the website of CRC 1102

 

Other DFG funded projects

RTG 2853: Neuroexplicit Models of Language, Vision, and Action

At the new Research Training Group “Neuroexplicit Models of Language, Vision, and Action”, scientists aim to develop systematic foundations for the approach that experts also refer to as the “third wave” of artificial intelligence – so-called “neuroexplicit models”. These combine the best of previous AI approaches into a whole that should become safer, more reliable and easier to understand. Participating in the research network at Saarland Informatics Campus are the departments of computer science and mathematics as well as linguistics and language technology at Saarland University, the German Research Center for Artificial Intelligence, and the Max Planck Institutes for Computer Science and for Software Systems. The nearby CISPA Helmholtz Center for Information Security is also a project partner. “Our research training group is the first research institution on neuroexplicit models in Europe. We are thus pioneers because interest in the topic is growing rapidly in international expert circles,” says Alexander Koller, Professor of Computational Linguistics at Saarland University and spokesperson for the new Research Training Group.

Go to the new website of the RTG 2853

European Commission (ERCs)

The following research projects in the Computer Science focus area are funded by the European Commission and coordinated by Saarland University and the other research institutions involved in the Saarland Informatics Campus (SIC). This also includes the various grants from the European Research Council (ERC).

 

 
ADA - Automata, Dynamics and Actions

ERC Advanced Grant

This project lies at the intersection of complex and symbolic dynamics, group theory, decision problems, and computation. It aims to solve important problems in each of these areas using automatic actions and relations. Finite state machines, ubiquitous in theoretical computer science, will be used to define self-similar mathematical objects and develop efficient algorithms to handle them.

Brains On Code - Neurowissenschaftliche Sichtweise auf das Programmieren

ERC Advanced Grant

Research on program comprehension has a fundamental limitation: program comprehension is a cognitive process that cannot be directly observed, which leaves considerable room for misinterpretation, uncertainty, and confounders. In Brains On Code, we are developing a neuroscientific foundation of program comprehension. Instead of merely observing whether there is a difference regarding program comprehension (e.g., between two programming methods), we aim at precisely and reliably determining the key factors that cause the difference. This is especially challenging as humans are the subjects of study, and inter-personal variance and other confounding factors obfuscate the results.

The key idea of Brains On Code is to leverage established methods from cognitive neuroscience to obtain insights into the underlying processes and influential factors of program comprehension. Brains On Code pursues a multimodal approach that integrates different neuro-physiological measures as well as a cognitive computational modeling approach to establish the theoretical foundation. This way, Brains On Code lays the foundations of measuring and modeling program comprehension and offers substantial feedback for programming methodology, language design, and education. With Brains On Code, addressing longstanding foundational questions such as “How can we reliably measure program comprehension?”, “What makes a program hard to understand?”, and “What skills should programmers have?” comes into reach. Brains On Code does not only help answer these questions, but also provides an outline for applying the methodology beyond program code (models, specifications, requirements, etc.).

Go to the website of the ERC grant Brains on Code

 
Feel-XR - Feel-through Haptic Feedback for Augmented and Virtual Reality

ERC Proof of Concept

What seemed like science fiction until recently may soon become reality: making virtual worlds “tangible” in the truest sense of the word. Jürgen Steimle, a computer science professor at Saarland University, wants to achieve this through ultra-thin electronic foils that can be applied to the body like peel-off tattoos. In order to bring the technology, which he developed with his research group as part of the EU-funded “InteractiveSkin” project, closer to market maturity, Steimle is now once again being supported by the European Research Council (ERC) with a so-called “Proof-of-concept grant”.

More information on the ERC grant Feel-XR

IDDISC - Individualized Interaction in Discourse

ERC Starting Grant

Project leader: Vera Demberg
Funding period: 2021-2026

Humans adapt the content and form of their utterances to different interlocutors (students vs. colleagues vs. granny), and monitor the level of understanding in their conversational partner. Today's NLP systems are however largely blind with respect to individual variation in language comprehension, which in turn leads to misunderstandings and lack of naturalness in the interaction.

The vision of project IDDISC is to enable individualized language interaction with computer systems, such that information or explanations generated by a system will fit the user and the situation, by explicitly modelling their state of understanding. This project will break new ground by addressing individual differences in comprehension at the pragmatics and discourse level, i.e. with respect to the inferred meaning that goes beyond the literal meaning of an utterance.

This project will make it possible to reduce the risk of misunderstandings, and enable adaptation of automatically generated language (e.g., explanations, summaries) to specific users. The new statistical methods and crowd-sourcing paradigms developed as part of this project will open the door to other researchers for investigating individual differences in all areas of language processing.

ERC Starting Grant

SafeSecS - Abstractions for Safe and Secure HW-SW Systems

ERC Advanced Grant

Many safety critical areas of our lives are controlled by computer systems: from airbag controls in cars and landing gear on airplanes to essential infrastructure such as energy supply and telecommunications. However, a crucial aspect of computer systems, the hardware-software interface, renders the development of safe and secure applications impossible at a fundamental level. This was brought to the fore in 2018, when the Spectre and Meltdown attacks were first described. Ever since, hardware and software developers have been struggling to mitigate the resulting vulnerabilities. The EU-funded SafeSecS project is tackling this challenge with a new framework to guarantee key safety and security features at the software level on top of novel hardware-software contracts.

Go to the website of the ERC grant SafeSecS

SAML - Society-Aware Machine Learning: The paradigm shift demanded by society to trust machine learning.

ERC Starting Grant

To date, the design of ethical machine learning (ML) algorithms has been dominated by technology owners and remains broadly criticized for strategically seeking to avoid legally enforceable restrictions. In order to foster trust in ML technologies, society demands technology designers to deeply engage all relevant stakeholders in the ML development. This ERC project aims at responding to this call with a society-aware approach to ML (SAML). Our goal is to enable the collaborative design of ML algorithms so that they are not only driven by economic interests of the technology owners but are agreed upon by all stakeholders, and ultimately, trusted by society. To this end, we aim to develop multi-party ML algorithms that explicitly account for the goals of different stakeholders—i.e., owners, those experts that design the algorithm (e.g., technology companies); consumers, those that are affected by the algorithm (e.g., users); and regulators, those experts who set the regulatory framework for their use (e.g., policymakers).

Go to the website of the ERC grant SAML

S3 – Semantics of Software Systems

ERC Advanced Grant

In this project, funded by the European Research Council with an Advanced Grant, Prof. Dr. Andreas Zeller and his team are developing software bots that automatically test, debug and monitor software systems – all kinds of systems, anywhere, anytime.

Go to the website of the ERC grant S3

TIPEA - Technology Transfer between Integer Programming and Efficient Algorithms

ERC Starting Grant

Project leader: Karl Bringmann
Funding period: 2019-2024

This project aims to resolve challenging integer programming problems in exact and approximate settings, with a focus on Knapsack-type problems (such as Subset Sum, Partition, and Knapsack). To this end, we will develop a unified approach of algorithm design as a combination of algorithmic tools, structural theory, and conditional lower bounds. Specific tasks include:

- utilizing recent advances in efficient algorithms, since although Knapsack-type algorithms are NP-hard their main challenges ask for polynomial improvements in running time,

- leveraging structural results from additive combinatorics for the design of algorithms for problems of additive nature, such as Knapsack-type problems, and

- using and expanding fine-grained complexity theory to explain the limits of algorithms by proving conditional lower bounds based on plausible conjectures.

In particular, our combination of modern algorithmic techniques and structural results on the one hand, and conditional lower bounds on the other hand, allows us to aim at best-possible algorithms (conditional on plausible conjectures). We also plan to transfer techniques in the other direction (from integer programming to efficient algorithms), by using the insights of practical integer programming solvers to obtain highly-efficient implementations for selected polynomial-time problems.

Designing best-possible algorithms for one of the Knapsack-type problems will already be groundbreaking, and complete resolution of our goals would be dramatic algorithmic progress with consequences in computer science, optimization, and operations research.

ERC Starting Grant

Federal Ministries

The following research projects in the Computer Science focus area and at the Saarland Informatics Campus (SIC) are currently funded by various federal ministries.

 

K3I-Cycling - AI-supported optimization of the closed-loop plastic packaging process

Federal Ministry of Education and Research (BMBF) | Collaborative Project

Using artificial intelligence (AI) methods to improve the sustainability of plastic packaging - that is the aim of a new BMBF funding measure that has now been launched. The project focuses on the entire value chain, from design to re-entry into the cycle. It will run for three years. The Chair of Legal Informatics at Saarland University is also involved.

Go to the homepage of K3I-Cycling

 
SILK - Synthesis of linguistic corpus data

Federal Ministry of Education and Research (BMBF) | Collaborative project

In contrast to tech corporations, medium-sized companies can usually only draw on a few dialogs with customers to develop chatbots for customer conversations. A research network involving scientists from Saar University wants to change that. The project partners want to develop a voice dialog system that gets by with little data, but in the end is just as good as a system from an IT corporation.

Go to the website of SILK