As far as I know he has been known and referred to as Tony Hoare since long before most HNers were born (even me and I'm 63)