Gilberto Pérez Vega

Soy Licenciado en Matemáticas por la universidad de Santiago y Doctor en Informática por la Universidad de A Coruña. Ejerzo como profesor de Álgebra, Matemáticas Discretas y Verificación en la Facultad de Informática de la Universidad de A Coruña, España. Me gusta la educación, la investigación, el software para prueba interactiva (PVS, Coq, ....). Como hobby me interesan: la comida tradicional (agenda de restaurantes), la huerta, las caminatas, el futbol...

Mi vida laboral siempre ha estado ligada a la enseñanza. Primero en enseñanza media y después en enseñanza universitaria (Santiago, Vigo y A Coruña).

Trabajo en la formalización de teorías de pruebas en PVS