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