A few examples of projects that we are currently interested in or actively doing research on:
It is of great interest to understand the possibility to realise stable De Sitter and/or inflation in string theory or its effective supergravity description. Over the last year a powerful new technique has been put forward to analyse this in specific cases. It singles out the direction in moduli space associated with supersymmetry breaking. This technique has been used to rule out stable De Sitter in a variety of N = 1 and N = 2 theories, with analogous implications for slow-roll inflation. We are interested in similar aspects of a number of other cases.
Ordinary (e.g. Calabi-Yau) compactifications lead to a wide number of massless scalars, the so-called moduli. These are problematic for a number of phenomenological reasons (fifth forces, decompactification, overclosing the Universe, spoiling BBN etc). One way to introduce masses for these scalar fields is by turning on fluxes in the compactification manifold. In addition to gauge and geometric fluxes, it has been argued on duality grounds that string theory also makes sense with non-geometric fluxes. Such backgrounds consist of different patches that are glued together with a transition function that includes e.g. a T-duality transformation. One point of interest ishow non-geometric fluxes appear in the effective four-dimensional description and whether they allow for De Sitter in an
context.

Supergravities with
supersymmetries appear as an effective, four-dimensional descriptions of a class of string compactifications. Their dynamics is very much constrained by the large amount of supersymmetry. This allows for a clear analysis of the issue of moduli stabilisation. In particular, in order to achieve this, the theory needs to possess a particular property, called non-trivial duality angles. First introduced in 1985 in supergravity, the string theory origin of these angles was unclear. Recently, an understanding of how these can be generated in orientifold reductions has emerged. One of our aims is to extend these reductions to obtain more general
gaugings and more interesting vacua.

An additional point of interest are the De Sitter solutions in
theories. In contrast to the known
examples, these are actually stable solutions. It has always been a bit of a mystery as to what makes these solutions tick. Very recently, we have uncovered a web of relations between supergravity models with De Sitter solutions and different amounts of supersymmetry. In particular, this explains how the
models follow by a simple supersymmetry truncation from the much better understood
models. In addition to the known examples this gives rise to new models with stable De Sitter vacua. In the future we aim to investigate a number of aspects concerning their relation to string theory.
In Anti-de Sitter space-time there is the famous Breitenlohner-Freedman bound, stating that scalar fields with negative mass
are not tachyonic in a certain range of the mass parameter. Is there an analogous bound for fields in De Sitter space-time? More generally, how can one define a mass in De Sitter space-time? And can one understand this from gauge invariance and/or representation theory, and what's the relation between these two? Another question would be what the representations of the fields of
supergravity in a De Sitter vacuum are.
In addition to these points we have a wide range of other topics for e.g. a Bachelor's or Master's research project.