Former U.S. House CIO tapped to run Virginia’s IT agency