Klaus Ostermann

Our research group is concerned with the design of programming languages, methodologies, and tools that improve the productivity of software developers.

Selected Research Projects

Computational Thinking

Uroboro: De- /Refunctionalization for Modularity

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).