Jip Dekker's PhD Thesis