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.



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