Definitely an amazing person. Folks tend to primarily focus on his contributions to the PC ecosystem. I am surprised more don't mention his work on data-flow analysis. It was such a significant contribution to the compiler world.