Michael Boyce, the inaugural leader of the Department of Homeland Security’s AI Corps, has left the position and joined U.S.