You can always check his entry on the Mathematics Genealogy Project: https://mathgenealogy.org/id.php?id=45760
I actually knew about that, but it says "advisor unknown".
Regardless, he certainly knew Tony Hoare, and spoke extremely highly of him.
loading story #47328598