Cerritosaurus is a genus of proterochampsid archosauromorph from the Late Triassic.
It has been found in the Santa Maria Formation, in the Geopark of Paleorrota, Brazil.
[1] It was collected in 1941 by Antonio Binsfeld, in Sanga da Alemoa.
Nearby, there is a small mountain called the Cerrito, after which the genus is named.
This article about a Triassic reptile is a stub.