David Hartley — British computer scientist