John Fitzgerald — British computer scientist and Chair of Formal Methods Europe