Connected Mental Health Care (ConnectMe): Opportunities and Challenges for a Flexible Working Life

UPLANG co-pi: Sofia Ouhbi
Duration: 2024/7–2027/6
Funder: Forte

The goal of this project is to explore how connected mental health applications influence the work environment of clinicians in Sweden. For more information: https://www.vr.se/english/swecris.html#/project/2024-00034_Forte

Model Learning for Securing Network Protocol Implementations

Project leader: Paul Fiterau
Duration: 2025–2029
Funder: Swedish Research Council

The goal of this project is develop techniques and tools for security analysis of network protocol implementations. To that end, we will develop and leverage model learning, a technique that captures an implementation’s behavior in a learned model, which subjected to analysis can expose flaws in an implementation.

Holistic Rigorous Numerical Verification

Project leader: Eva Darulova
Duration: 2024–2029
Funder: European Research Council (ERC) and Swedish Research Council (VR)

The goal of this project is to develop a verification framework for real-world numerical programs that can automatically reason about finite-precision rounding errors and that will be usable by non-expert developers.

Parametric Floating-Point Reasoning

Project leader: Tjark Weber
Duration: 2025–2028
Funder: Swedish Research Council

This project aims to answer how trustworthy reasoning for floating-point numbers of symbolic size can be automated so that it scales to difficult conjectures and large proofs.

Data-race Freedom and Memory Safety for Untyped Languages

Project leader: Tobias Wrigstad
Duration: 2025–2028
Funder: Swedish Research Council

The goal of this research is to strengthen data-race freedom and memory safety in software development.We focus on untyped programming languages such as Python and JavaScript, which are widely used across a wide range of domains.

Pervasive Memory Safety through Ownership Types

Project leader: Tobias Wrigstad
Duration: 2023/12–2027/11
Funder: Swedish Research Council

The goal of this research is to advance the state of the art in memory safety, and in particular, to improve the security of programs by eliminating the need for unsafe code. The proposed approach has the potential to benefit a wide range of applications in cybersecurity, where memory-related vulnerabilities are a significant concern.

Current Industry Projects

JVM ReCo: JVM Research Cooperation

Project leader: Tobias Wrigstad
Duration: 2018–
Industry partner(s): Oracle

The JVM ReCo project is a collaboration between Uppsala University and Oracle, mostly concerning the Java runtime and mostly on garbage collection.

Verified Compilation for Erlang

Project leader: Tobias Wrigstad
Duration: 2025–
Industry partner(s): Ericsson

This project explores cost-efficient ways to ensure that the Erlang compiler is semantics-preserving.

Project Verona

UPLANG co-pi(s): Elias Castegren, Tobias Wrigstad
Duration: 2019–
Industry partner(s): Microsoft Research
Academic partner(s): Imperial College London

Project Verona is a collaboration with Microsoft Research, Imperial College London and Uppsala University. We are exploring research around language and runtime design for safe scalable memory management and compartmentalisation.