Jonathan Brachthäuser

SE group at the hackathon, standing — The SE-Research Group and Effekt contributors on the semi-annual Effekt Hackathon (October 2025).

SE group at the hackathon, jumping — The SE-Research Group and Effekt contributors on the semi-annual Effekt Hackathon (October 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

News

September 6, 2026

Paper in TOPLAS 2026

Our article “Compiling with the Sequent Calculus” has been accepted for publication in the ACM Transactions on Programming Languages and Systems (TOPLAS).