Department: Computer Science and Information Technologies

Centre: Faculty of Computer Science

Research Center and Specialization Campus: CITIC - Centre for Information and Communications Technology Research

Area: Algebra

Research group: Information Retrieval Lab

Email: gilberto.pvega@udc.es

Doctor by the Universidade da Coruña with the thesis Bases de Göbner desarrollo formal en coq 2005. Supervised by Dr. José María Barja Pérez.