Antônio Henrique Rocha Portugal, ou apenas Henrique Portugal é um tecladista brasileiro, mais conhecido por seu trabalho na banda Skank.