Departamento: Ciencias de la Computación y Tecnologías de la Información

Centro: Facultad de Informática

Centro de Investigación y Campus de Especialización: CITIC - Centro de Investigación de Tecnologías de la Información y de la Comunicación

Área: Álgebra

Grupo de investigación: Information Retrieval Lab

Email: gilberto.pvega@udc.es

Doctor por la Universidade da Coruña con la tesis Bases de Göbner desarrollo formal en coq 2005. Dirigida por Dr. José María Barja Pérez.