By means of the Hilbert series one may compute the dimension and the degree of V from any Gröbner basis of I for a monomial ordering refining the total degree.
A Gröbner basis computation allows to compute the Zariski closure of the image of V by the projection on the k first coordinates, and the subset of the image where the projection is not proper.