Software Engineering (SE)

It is the goal of our research group to make software engineering as effective as possible. We develop tools and concepts that aim at improving correctness, understandability, modularity, and maintainability.

SELECTED RESEARCH AREAS

Ergonomic Type- and Effect Systems

Structuring Complex Control Flow

Efficient Compilation

Recent News

February 23

Two Papers at OOPSLA 2025 R1

Together with our collaborators the SE group presents two (very) different papers at round 1 of this year’s International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2025 R1).