Gervasio es un nombre propio masculino, que aunque se cree que es de origen griego, todo apunta a que en realidad su origen es español.