I didn't know him, but every time I've read one of his papers I've learned something and changed my viewpoint. I'm never worried that my effort will be betrayed reading Hoare (Especially rare in a field that moves so fast like applied CS)