I got to meet him briefly when I worked there. His office (which they kept for him even in retirement) was around the corner from me and downstairs from the Linux development team that operated in the back corner (complete with bowling alley in the hallway)