Glover, a mathematician who served as provost at the University of Florida for 15 years, helped lead that land-grant university to its status as a top-five U.S. public university, and helped establish a major UF initiative related to artificial intelligence.