Just wanted to drop a quick comment to say Dr. Riedl was one of my favorite professors when I was at Georgia Tech. His Intro to Artificial Intelligence course was super fun and comprehensive and he's got exactly the right personality for it.