He was the professor in the Programming Research Group (known universally as the PRG) at Oxford when I was doing my DPhil and interviewed me for the DPhil. I spent quite a bit of time with him and, of course, spent a lot of time doing stuff with CSP including my entire DPhil.

Sad to think that the TonyHoare process has reached STOP.

RIP.

I think I and most people had hoped that he would DIV instead.