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: juan.jose.sanchez.penas@udc.es

Doctor by the Universidade da Coruña with the thesis From software architecture to formal verification of a distributed system 2006. Supervised by Dr. Víctor M. Gulías, Dr. Thomas Arts.