Personal tools

Doctorate Program PUMA

From PUMA Graduiertenkolleg

Jump to: navigation, search

Program and Model Analysis

(Graduiertenkolleg Programm- Und Modell-Analyse)

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.