No, however, if the Georgia Tech employee was injured while performing official state duties, workers’ compensation coverage would be available to respond to the employee’s injuries.