Grzegorz Miłoś, University of Cambridge Computer Laboratory