No, he still works there. It is Andrew Ng who quit Google and joined Baidu.