Martin Kerin - A pot-pourri of non-negatively curved 7-manifolds