PhD Concepción Vidal Martín  

(TIT-UN)

Department Computer Science and Information Technologies
Knowledgment area Algebra
Research  Research group Information Retrieval Lab
Research lines Representación Lógica del Conocimiento. Programación Lógica. Razonamiento no monótono
Keywords Answer Set Programming, equilibrium model,
Teaching merits evaluation 6 five years period(s)
Research merits evaluation 4 six years period(s)
Contacto UDC directory
Orcid id0000-0002-5561-6406 ResearcherIDABD-9547-2021 Scopus7101664033

Teaching

Subjects taught

This section shows the teaching given in degrees, masters and other officers studies in last 6 years.

Subject and involved studies Distance hours Total hours
Algebra 0 17
Algebra 0 20
Algorithms 0 10
Discrete Mathematics 0 43
Discrete Mathematics 0 60
Discrete Mathematics 0 15
Logic 0 5
Work Placement 0 0
Work Placement 0 10
Subject and involved studies Distance hours Total hours
Algebra
Degree in Computer Engineering
0 11.5
Algorithms
Degree in Computer Engineering
0 14
Discrete Mathematics
Degree in Computer Engineering
0 30
Discrete Mathematics
Degree in Data Science and Engineering
0 60
Discrete Mathematics
Degree in Artificial Intelligence
0 15
Logic
Degree in Artificial Intelligence
0 5
Work Placement
Degree in Computer Engineering
0 10
Subject and involved studies Distance hours Total hours
Algebra
Degree in Computer Engineering
0 30
Algorithms
Degree in Computer Engineering
0 10
Discrete Mathematics
Degree in Computer Engineering
0 33
Discrete Mathematics
Degree in Data Science and Engineering
0 60
Work Placement
Degree in Computer Engineering
0 10
Subject and involved studies Distance hours Total hours
Algebra
Degree in Computer Engineering
0 60
Algorithms
Degree in Computer Engineering
0 12
Discrete Mathematics
Degree in Computer Engineering
0 20
Discrete Mathematics
Degree in Data Science and Engineering
0 60
Subject and involved studies Distance hours Total hours
Algebra
Degree in Computer Engineering
0 30
Algorithms
Degree in Computer Engineering
0 13
Discrete Mathematics
Degree in Computer Engineering
0 71
Discrete Mathematics
Degree in Data Science and Engineering
0 30
Final Year Dissertation. Mention in Software Engineering
Degree in Computer Engineering
0 4
Subject and involved studies Distance hours Total hours
Algebra
Degree in Computer Engineering
0 45
Algorithms
Degree in Computer Engineering
0 18
Discrete Mathematics
Degree in Computer Engineering
0 60

Defined tutoring by teacher for 2023/2024 academic course.

Faculty of Computer Science

Quarter Day Site
1st quarter Monday
10:30 a 12:30
TEAMS o Despacho 4.10 (previo e-mail)
1st quarter Monday
17:00 a 19:00
TEAMS o Despacho 4.10 (previo e-mail)
2nd quarter Tuesday
17:00 a 18:30
TEAMS o Despacho 4.10 (previo e-mail)
2nd quarter Tuesday
11:30 a 12:30
TEAMS o Despacho 4.10 (previo e-mail)
2nd quarter Thursday
11:00 a 12:30
TEAMS o Despacho 4.10 (previo e-mail)
2nd chance Tuesday
10:30 a 12:30
TEAMS o Despacho 4.10 (previo e-mail)

EOG works and final master thesis directed

Directed or codirected by current teacher since 2013 year.

Research results

Select merit type and year to query research merits.

AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS.GPC 2022

Funding entity Consellería de Educación
Main researches Álvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 01/01/2022 to 20/11/2024

Razonamiento Automático y Aprendizaje con Inducción de Conocimiento

Funding entity Ministerio de Ciencia e Innovación
Main researches Pedro Cabalar Fernández/ José Santos Reyes
Type Proyecto Programas Nacionales
Dates From 01/09/2021 to 31/08/2024

AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS. GPC

Funding entity CONSELLERIA DE EDUCACIÓN, UNIVERSIDADE E FORMACIÓN PROFESIONAL
Main researches ÁLVARO BARREIRO GARCÍA
Type Proyecto Programas Autonomicos
Dates From 01/01/2019 to 20/11/2021

RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS (TARDIS)

Funding entity Ministerio de Economía y Competitividad (MINECO)
Main researches Pedro Cabalar Fernández
Type Proyecto Programas Nacionales
Dates From 01/01/2018 to 31/12/2020

Red de investigación IEMath-Galicia

Funding entity Xunta de Galicia
Main researches Juan José Nieto Roig
Type Proyecto Programas Autonomicos
Dates From 01/01/2017 to 31/12/2018

Xunta de Galicia (GPC ED431B 2016/035)

Funding entity Xunta de Galicia
Main researches Álvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 01/01/2017 to 31/12/2018

Axudas para a acreditación, estruturación e mellora de centros de investigación singulares e agrupacións estratéxicas consolidadas do Sistema universitario de Galicia, cofinanciadas polo Fondo Europeo de Desenvolvemento Rexional (Feder), no marco do programa operativo Feder Galicia 2014-2020

Funding entity Consellería de Cultura, Educación e Ordenación Universitaria
Main researches Manuel F. González Penedo
Type Proyecto Programas Autonomicos
Dates From 01/01/2016 to 30/11/2019

Red de Investigación IEMath-Galicia

Funding entity Consellería de Cultura, Educación e Ordenación Universitaria
Main researches Juan José Nieto Roig
Type Proyecto Programas Autonomicos
Dates From 01/01/2014 to 31/12/2015

MERLOT: RAZONAMIENTO MÉDICO CON HERRAMIENTAS LÓGICAS

Funding entity Ministerio de Economía y Competitividad (MINECO)
Main researches José Pedro Cabalar Fernández
Type Proyecto Programas Nacionales
Dates From 01/01/2014 to 31/12/2016

Ayuda para la consolidación y estructuración de unidades de investigación competitivas

Funding entity Consellería de Cultura, Educación e Ordenación Universitaria
Main researches Alvaro Barreiro García
Type Proyecto Programas Autonomicos
Dates From 01/01/2013 to 31/12/2015

Rede IEMath-Galicia (Programa de Consolidación y estructuración de unidades de investigación competitivas).

Funding entity Xunta de Galicia
Main researches Juan José Nieto Roig
Type Proyecto Programas Autonomicos
Dates From 01/01/2012 to 30/11/2013

Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-

Funding entity Ministerio de Economía y Competitividad
Main researches José Pedro Cabalar Fernández
Type Proyecto Otros Programas
Dates From 01/01/2010 to 31/12/2013

Algoritmos xenéticos en problemas de satisfactibilidade: estudo formal e aplicación a answer set programming.

Funding entity Dirección Xeral de Investigación, Desenvolvemento e Innovación
Type Proyecto Otros Programas
Dates From 01/01/2008 to 31/10/2011

La Epistasis Generalizada en la optimización funcional

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas
Dates From 15/07/2003 to 14/07/2005

Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)

Funding entity Ministerio de Ciencia y Tecnología
Main researches Víctor M. Gulías Fernández
Type Proyecto Programas Nacionales
Dates From 05/11/2002 to 05/11/2005

Diseño, construcción y validación de un sistema jerárquico de almacenamiento de alta capacidad de bajo coste de adquisición y funcionamiento : Cheap TB

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas
Dates From 28/09/2002 to 27/09/2004

Diseños Adaptados y Algoritmos Genéticos

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Type Proyecto Otros Programas
Dates From 26/08/2000 to 26/08/2002

Algoritmos genéticos: Epistasis y transformadas de Walsh

Type Proyecto Otros Programas
Dates From 28/04/1998 to 28/04/1999

Algoritmos Genéticos. Aplicaciones a la economía

Type Proyecto Otros Programas
Dates From 01/01/1996 to 01/01/1996

"Forgetting auxiliary atoms in forks"

Authors Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Journal Artificial Intelligence Vol. 275 (pages 575 to 601)

A Complete Planner for Temporal Answer Set Programming

Authors Pedro Cabalar, Concepción Vidal
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 11805 Num. 2 (pages 520 to 524)
DOI https://doi.org/10.1007/978-3-030-30244-3_43

Revisiting Explicit Negation in Answer Set Programming

Authors Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 19 Num. 5-6 (pages 908 to 924)
DOI https://doi.org/10.1017/s1471068419000267

Verification for ASP denotational semantics: A case study using the PVS theorem prover

Authors Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Journal LOGIC JOURNAL OF THE IGPL Vol. 25 Num. 2 (pages 195 to 213)
DOI https://doi.org/10.1093/jigpal/jzw060

Temporal logic programs with variables

Authors Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Num. 2 (pages 226 to 243)
DOI https://doi.org/10.1017/s1471068416000570

Temporal Equilibrium Logic with past operators

Authors Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal
Journal Journal of Applied Non-Classical Logics Vol. 27 Num. 3-4 (pages 161 to 177)
DOI https://doi.org/10.1080/11663081.2018.1427987

An infinitary encoding of equilibrium logic

Authors Pedro Cabalar, Concepción Vidal, Martin Diéguez Lodeiro
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Num. 4-5 (pages 666 to 680)

A denotational semantics for equilibrium logic

Authors Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, David Pearce
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Num. 4-5 (pages 620 to 634)
DOI https://doi.org/10.1017/s1471068415000277

Temporal Equilibrium Logic: a survey

Authors Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez Lodeiro
Journal Journal of Applied Non-Classical Logics Vol. 23 Num. 1-2 (pages 2 to 24)
DOI https://doi.org/10.1080/11663081.2013.798985

Integrating Temporal Extensions of Answer Set Programming

Authors Felicidad Aguado, Gilberto Pérez, Concepción Vidal
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 8148 (pages 23 to 35)
DOI https://doi.org/10.1007/978-3-642-40564-8_3

Crossover operators for permutations equivalence between position and order-based crossover

Authors Concepción Vidal, Gilberto Pérez, Felicidad Aguado, Lin, J
Journal LOGIC JOURNAL OF THE IGPL Vol. 19 Num. 2 (pages 405 to 414)

Loop Formulas for Splitable Temporal Logic Programs

Authors Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (pages 80 to 92)
DOI https://doi.org/10.1007/978-3-642-20895-9_9

High order fucntions and Walsh coefficients revisited

Authors María Teresa Iglesias Otero, Concepción Vidal, Alain Verschoren
Journal BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 15 (pages 403 to 408)

Higher Epistasis in Genetic Algorithms

Authors María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren
Journal BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 77 (pages 225 to 243)

Strongly equivalent temporal logic programs

Authors Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5293 (pages 8 to 20)

Genetic algorithms in Coq: Generalization and formalization of the crossover operator

Authors Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal
Journal Journal of Formalized Reasoning (pages 25 to 37)

The 2-epistasis of fitness functions

Authors María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren
Journal BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 76 (pages 397 to 419)

Certified Genetic Algorithms: Crossover Operators for Permutations

Authors Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 282 to 289)

Generalized Walsh Transforms and Epistasis

Authors María Teresa Iglesias Otero, Concepción Vidal, Alan Verschoren
Journal BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 13 (pages 55 to 68)

Computing epistasis of Template Functions through Walsh Transforms

Authors María Teresa Iglesias Otero, Concepción Vidal, Alain Verschoren
Journal COMPUTING AND INFORMATICS Vol. 24 (pages 263 to 279)

Multary Epistasis

Authors María Teresa Iglesias Otero, Concepción Vidal, Dominique Suys, Alain Verschoren
Journal BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 8 Num. - (pages 651 to 671)

Epistasis and Unitation

Authors María Teresa Iglesias Otero, Concepción Vidal
Journal COMPUTERS AND ARTIFICIAL INTELLIGENCE Vol. 18 Num. 5 (pages 467 to 483)

An alternative approach to involutive Brauer Groups

Authors Concepción Vidal
Journal LECTURE NOTES IN PURE AND APPLIED MATHEMATICS Vol. 1 Num. 197 (pages 311 to 324)

Relatively noetherian rings, localization and sheaves, part III: Functional behaviour

Authors Concepción Vidal, A. Verschoren
Journal COMMUNICATIONS IN ALGEBRA Vol. 23 Num. 7 (pages 2597 to 2619)

Problemas resueltos de Combinatoria. Laboratorio con SageMath

Authors Felicidad Aguado, Felipe Gago Couso, Gilberto Pérez, Concepción Vidal, Manuel Ladra González, Ana Maria Vieites Rodriguez
Publishing Ediciones Paraninfo, SA, Madrid (España)
ISBN 978-84-283-4074-8

TEORIA DE GRAFOS: EJERCICIOS RESUELTOS Y PROPUESTOS. LABORATORIO CON SAGE

Authors Concepción Vidal, Ana Maria Vieites Rodriguez, Felicidad Aguado, Gilberto Pérez, Manuel Ladra González, Felipe Gago Couso
Publishing Ediciones Paraninfo S.A, Madrid (España)
ISBN 978-84-283-3707-6

Foundations of Generic Optimization. Volume 1: A combinatorial approach to epistasis.

Authors María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal
Publishing Springer, Dordrecht (Países Bajos)
ISBN 1-4020-3666-3

Localization and sheaves: a relative point of you. Pitman Research Notes in Mathematics Series

Authors Concepción Vidal, P. Jara, A. Verschoren
Publishing Longman, (Estados Unidos)
ISBN nodef-0548

Symmetric Closed Categories and Involutive Brauer Groups

Authors Concepción Vidal
Book Ring Theory and Algebraic Geometry
Vol. - Publishing: Marcel Dekker.
ISBN: 0-8247-0559-9
Pages From 325 to 339

Algoritmos genéticos generalizados. Variaciones sobre un tema.

Autor María Teresa Iglesias Otero
Director/s Concepción Vidal Martín;Alain Verschoren
Scope Computación
Qualification Apto

Forgetting auxiliary atoms in forks
International Joint Conference on Artifical Intelligence 2020 (IJCAI)
International

Authors Felicidad Aguado, Gilberto Pérez, cabalar, Jorge Fandinno, David Pearce, Concepción Vidal
Place Yokohama (Japón)

Explicit Negation in Linear-Dynamic Equilibrium Logic
24th European Conference on Artificial Intelligence (ECAI 2020)
International

Authors Felicidad Aguado, cabalar, fandinno, Gilberto Pérez, Concepción Vidal
Place Santiago de Compostela (España)

A Complete Planner for Temporal Answer Set Programming
19th EPIA Conference on Artificial Intelligence, EPIA 2019
International

Authors Pedro Cabalar, Manuel Rey, Concepción Vidal
Place Vila Real (Portugal)

Revisiting Explicit Negation in Answer Set Programming
35th International Conference on Logic Programming (ICLP 2019)
International

Authors Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Organization Association for Logic Programming
Place Las Cruces, New Mexico (Estados Unidos)

Forgetting Auxiliary Atoms in Forks
10th Workshop on Answer Set Programming and Other Computing Paradigms, co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017
International

Authors Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Place Espoo (Finlandia)

An infinitary encoding of temporal equilibrium logic
International Conference of Logic Programming ICLP 2015
International

Authors Pedro Cabalar, Martín Diéguez Lodeiro, Concepción Vidal
Organization Association for Logic Programming
Place Cork (Irlanda)

A denotational semantics for equilibrium logic
International Conference of Logic Programming ICLP 2015
International

Authors Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
Organization Association for Logic Programming
Place Cork (Irlanda)

Loop formulas for splitable temporal logic programs
12th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR13
International

Authors Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Place Coruña, A (España)

Integrating Temporal Extensions of Answer Set Programming
12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13)
International

Authors Concepción Vidal, Felicidad Aguado, Gilberto Pérez
Place Coruña, A (España)

Paving the way for temporal grounding
28th International Conference on Logic Programming ICLP 2012
International

Authors Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal
Organization International Conference on Logic Programming ICLP
Place Budapest (Hungría)

Fórmulas de ciclo para programas lógicos temporales: una primera aproximación
RSME 11
National

Authors Gilberto Pérez, Felicidad Aguado, Concepción Vidal
Organization Real Sociedad Matemática Española
Place Ávila (España)

Crossover Operators for Permutations. Equivalence between Position and Order Based Crossover
9th International Conference Computational and Mathematical Methods in Science and Engineering (CMMSE 2009)
International

Authors Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal
Place Gijón (España)

Deception, order and epistasis
GEM 2008 - The 2008 International Conference on Genetic and Evolutionary Methods (WORLDCOMP¿08)
International

Authors Concepción Vidal, María Teresa Iglesias Otero, Alain Verschoren
Place Las Vegas (Estados Unidos)

Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
International

Authors Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Place San José (Costa Rica)

Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
International

Authors Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Place San José (Costa Rica)

Some features about the convergence of a genetic algoritm
ICM2006, International Congress of Mathematicians
International

Authors María Teresa Iglesias Otero, Matilde Ríos, Concepción Vidal
Place Madrid (España)

Some features about the convergence process of a Genetic Algorithm.
International Congress of Mathematicians ICM 2006
International

Authors María Teresa Iglesias Otero, Matilde Ríos Fachal, Concepción Vidal
Place Madrid (España)

Walsh Transforms, Balanced Sum Theorems and Partition Coefficients over Multary Alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
International

Authors María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal
Place Washington (Estados Unidos)

La varianza epistática como medida de optimización en el empleo de Algoritmos Genéticos
I Congreso de Estatística e Investigação Operacional da Galiza e Norte de Portugal
International

Authors Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal
Place Guimaraes (Portugal)

La varianza epistática como medida de optimización en el empleo de Algoritimos genéticos.
I Congreso de Estadística e Investigaçao Operacional de Galiza e Norte de Portugal VI Congreso Galego de Estadística e Investigación de Operacións
International

Authors Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal
Place Guimaraes (Portugal)

Walsh transforms, balance sum theorems and partition coefficients over multary alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
International

Authors María Teresa Iglesias Otero, Bart Naudths, Alain Verschoren, Concepción Vidal
Place Washington (Estados Unidos)

Computing epistasis of template functions with the hyperplane averaging theorem
Meeting on linear algebra and applications (EALA)
International

Authors María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren
Place Caparica (Portugal)

Template functions and their Epistasis
MS'2000 International Conference on Modelling and Simulation
International

Authors María Teresa Iglesias Otero, Alain Verschoren, Concepción Vidal
Place España

Computing epistasis through Walsh transforms
Quinto Encuentro de Algebra Computacional y Aplicaciones EACA 99
National

Authors María Teresa Iglesias Otero, Concepción Vidal
Place Santa Cruz de Tenerife (España)

A global approach to schemata
International Conference on Intelligent Technologies in Human-related. Sciences
International

Authors Concepción Vidal, María Teresa Iglesias Otero
Place León (España)

Some results on localization of algebras over Krull domains
Fourth Week on Algebra and Algebraic Geometry (SAGA 4)
International

Authors Concepción Vidal
Place Amberes (Bélgica)

Structure sheaves over locally noetherian rings
Congreso Internacional de Teoría de Anillos
International

Authors Concepción Vidal, A. Verschoren
Place Almería (España)

Positions

Academic or management positions held by teacher.

Claustro

Profesorado doctor con vinculación permanente

From 15/03/2023.

Xunta da Facultade de Informática

PDI (Membros Natos)

From 15/03/2023.

Consello do Departamento Ciencias da Computación e Tecnoloxías da Información

PDI (Membros Natos)

From 15/03/2023.

Xunta da Facultade de Informática

PDI (Membros Natos)

From 10/03/2021 to 14/03/2023.

Consello do Departamento Ciencias da Computación e Tecnoloxías da Información

PDI (Membros Natos)

From 10/03/2021 to 14/03/2023.

Computación

Secretaria

From 17/03/2014 to 05/04/2017.

Computación

Secretaria