![Foto de Gilberto](/img/nophoto.png)
Gilberto
Pérez Vega
Profesor Titular de Universidade
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.