Yes, after working there for more than 17 years (IIRC he joined Google in 2004).