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

October 22

Three Papers at OOPSLA 2023

Together with our collaborators the SE group presents three different papers at this year’s International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2023).