Doctorate Program PUMA
From PUMA Graduiertenkolleg
Program and Model Analysis
The research training group (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 research training group PUMA has started in July 2008. A second period of funding by DFG, PUMA-2, has been granted in Summer 2012. PUMA-2 has started in January 2013.
The mission of PUMA is to help graduate students conduct excellent research in this area.