Ha sido nombrado así desde el siglo XVI; previamente había sido conocido como "Lago di San Giulio" (Lago de San Julio).