Senior Researchers and Permanent Faculty:

Johannes Borgström

Associate professor

Research area(s):

Verified compilation

 Personal website
 DBLP Page

Elias Castegren

Assistant professor

Research area(s):

Memory safety, compiler tooling, type systems

 Personal website
 DBLP Page

Luke Cheeseman

Postdoc

Research area(s):

Concurrency safety

 Personal website
 DBLP Page

Eva Darulova

Associate professor

Research area(s):

Verification of floating point programs

 Personal website
 DBLP Page

Lars-Henrik Eriksson

Associate professor

Research area(s):

Software engineering

 Personal website
 DBLP Page

Paul Fiterau Brostean

Assistent professor

Research area(s):

Cyber security, software testing

 Personal website
 DBLP Page

Sofia Ouhbi

Associate professor

Research area(s):

Software engineering

 Personal website
 DBLP Page

Shweta Premanandan

Postdoc

Research area(s):

Software engineering

 Personal website
 DBLP Page

Tjark Weber

Associate professor

Research area(s):

Floting point verification, verified compilation

 Personal website
 DBLP Page

Neea Rusch

Postdoc

Research area(s):

Floting point verification

 Personal website
 DBLP Page

Tobias Wrigstad

Full professor

Research area(s):

Memory safety, concurrency safety, verified compilation

 Personal website
 DBLP Page

PhD Students:

Ellen Arvidsson

Started 2021

Research area(s):

Type systems for concurrency safety

Axel Bergström

Started 2025

Research area(s):

Verification of floating point operations

 Personal website

Matilda Blomkvist

Started 2023

Research area(s):

Compiler tooling, generative testing, term rewriting

Andrea Gilot

Started 2024

Research area(s):

Verification of numerical programs

 Personal website

Jennifer Gross

Started 2023

Research area(s):

Quality in-use in software engineering

Jonas Norlinder

Started 2020

Research area(s):

Garbage collection, benchmarking

 Personal website

Amanda Stjerna

Started 2019

Research area(s):

Implementation of the Rust borrow checker

 Personal website

Fridtjof Stoldt

Started 2024

Research area(s):

Concurrency safety for dynamic languages

 Personal website

Anders Ågren Thuné

Started 2024

Research area(s):

Semantics for domain-specific languages. Type systems and type inference. Formal proofs and verified compilation.

Former Faculty

• Dave Clarke (Associate Professor 2013–2019)

Former PhD Students

• Beatrice Åkerblom (PhD, 2025, On Typability in Programming Languages)
• Albert Mingkun Yang (PhD 2025, Design and Implementation of Temperature-Aware Garbage Collectors)
• Marina Shimchenko (PhD 2024, Optimizing Energy Efficiency of Concurrent Garbage Collection)
• Kiko Fernandez-Reyes (PhD 2022, Abstractions to Control the Future)
• Malin Källén (PhD 2021, Towards Higher Code Quality in Scientific Computing)
• Stephan Brandauer (PhD 2018, Structured Data)
• Adriaan Larmuseau (PhD 2016, Protecting Functional Programs From Low-Level Attackers)
• Johan Östlund (PhD 2016, Language Constructs for Safe Parallel Programming on Multi-Cores)