David May — British computer scientist (born 1951)