Software Engineering (SE)

The SE-Research Group and Effekt contributors on the semi-annual Effekt Hackathon (March 2025).

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

Older news items are archived at the news page.

All News