- Name David Antonio da Rocha Carvalho
- Full name David Antonio da Rocha Carvalho
- Date of birth 3 March 1998 (age 26)
- Birth country Brazil
- Nationality Brazil
- Position Midfielder
- Current team
David Antonio da Rocha Carvalho
David Antonio da Rocha Carvalho