[pfdietz]

This made me wonder if he was related to Tony Hoare, but I see HN already addressed this.

https://news.ycombinator.com/item?id=12613295