Origin of the name Grover

From a surname meaning "grove of trees" from Old English graf. A famous bearer was the American president Grover Cleveland (1837-1908), who popularized the name in the United States at the end of the 19th century. The name is now associated with a muppet character from the children's television program 'Sesame Street'.