Georgia Tech Names Chief Manufacturing Officer