Departamento: Ciencias da Computación e Tecnoloxías da Información

Centro: Facultade de Informática

Centro de Investigación e Campus de Especialización: CITIC - Centro de Investigación de Tecnoloxías da Información e da Comunicación

Área: Álxebra

Grupo de investigación: Information Retrieval Lab

Correo el.: gilberto.pvega@udc.es

Doutor pola Universidade da Coruña coa tese Bases de Göbner desarrollo formal en coq 2005. Dirixida por Dr. José María Barja Pérez.