phd-final

This is the final version of everything submitted with the PhD thesis:
the thesis itself, its extended abstract, the list of publications and
slides from the defense.