Doctorate Program PUMA
From PUMA Graduiertenkolleg
Program and Model Analysis
(Graduiertenkolleg Programm- Und Modell-Analyse)
Organized by the Fakultät für Informatik,
Technische Universität München
and the Fakultät für Informatik,
Ludwig-Maximilians-Universität München.
Supported by the German Research Council.
The doctorate program (Graduiertenkolleg) PUMA brings together the four fundamental approaches of program and model analysis, namely, type systems, theorem proving, model-checking, and abstract interpretation. Its goal is to develop new analysis techniques through cross-fertilization. The new methods should prototypically be implemented and be evaluated on selected analysis problems of software-intensive systems.
The mission of PUMA is to help graduate students conduct excellent research in this area.
