Gabriel Marques de Andrade Pinto (born 4 March 1988), commonly known as Gabriel Marques, is a Brazilian former footballer who played as a defensive midfielder.