Department: Computer Science and Information Technologies

Centre: Faculty of Computer Science

Area: Computer Science and Artificial Intelligence

Research group: Models and Applications of Distributed Systems

Email: santiago.jorge@udc.es

Doctor by the Universidade da Coruña with the thesis Estudio de la verificación de propiedades de programas funcionales de las pruebas manuales al uso de asistentes de pruebas 2004. Supervised by Dr. José Luis Freire Nistal, Dr. Víctor M. Gulías.