en

Research

The research at this chair ranges from educational technology to theoretical work in semantics. The chair hosts the Programming MOOCs Research Group and the Programming, Logic, and Semantics Group.

Projects

Tools

  • goblint, our static data race analyzer for multi-threaded C, co-developed with TU M√ľnchen.
  • ZeroTurnaround, the startup founded by Jevgeni Kabanov that aims to increase programmer productivity by improving the deployment of code.
  • Plumbr, the startup co-founded by Nikita Salnikov-Tarnovski for discovering Memory Leaks in Java.
  • Alvor, a program analyser for finding SQL bugs in Java code.