always knew him as C.A.R. Hoare, takes me way back to freshman college years

RIP good sir