small counterpoint to your counterpoint: I had him for 15-381 (Intro AI for non-CMU people), it was his first time teaching the class, and his lectures were substantially better than those of the other professor he co-taught with and had been teaching the class for many semesters. He was either my favorite or second favorite CS prof at CMU.