Somewhat unrelated: I've always heard of him being referred to as "C. A. R. Hoare"; this is the first time I've come across "Tony Hoare". Does anyone have any idea if he prefers one or the other?
I assume he's C. A. R. Hoare in publications, because that's how you write your name in publications, but Tony in person, because people mostly don't call each other by their initials [1]. Which is used in text like this would depend on how formal the writer wants to be.
Hi,I asked how he wanted to be introduced before starting the panel discussion. He said Tony Hoare, but changed that to Prof. Hoare when he heard I was going to be more formal with Dr. Joe Armstrong and Prof. Carl Hewitt. My understanding is that he prefers Tony Hoare if being informal (e.g. amongst friends or acquaintances) or Prof. Hoare in more formal settings. Indeed, I started off being formal when introducing the panel, and moved on to first names soon after.
