“The Georgia Tech police department is currently operating at only 40% of its required staffing levels.”