Agostinho is a Portuguese name. It is derived from “Augustine,” meaning “great” or “venerable,” and is common in Lusophone countries.