Doctorate Program PUMA
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.