Yup. He also wrote a compiler book in the 80s. He once gave me a mini-lecture on old architectures from the 70s and how 'we kids had it easy these days'. It was awesome, even if I didn't catch any of the content until he started talking about x86 :)