Personal tools

Doctorate Program PUMA

From PUMA Graduiertenkolleg

Revision as of 13:39, 9 April 2013 by Seidl (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.