en

Research

The research at this chair ranges from educational technology to theoretical work in semantics. The chair hosts the Didactics Workgroup and the Laboratory for Software Science.

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.
  • Alvor, a program analyser for finding SQL bugs in Java code.