Noticed him in the audience a couple of times around 2006 at AI talks. He was really skeptical of the idea of the singularity or self-improving AGI and at the smaller talk he asked really tough questions of the speaker (Eliezer Yudkowsky). I was a community college student at the time and remember wondering how cool it would be to go to a school where one could have someone like that as a professor!