Research
Matthias Ludwig
Areas of Interest:
- Object-Oriented Software-Engineering
- Formal Methods
- Theory of parallel programs
These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on https://www.sosy-lab.org/.