Course code for CS6250 at Georgia Tech.