Andrew Cropper: Efficiently learning efficient programs. Imperial College London, UK 2017