Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.

Forschung

Matthias Ludwig


  • Objektorientiertes Software-Engineering
  • Formale Methoden der Softwareentwicklung
  • Theorie paralleler Programme