Departamento: Ciencias de la Computación y Tecnologías de la Información

Centro: Facultad de Informática

Área: Ciencia de la Computación e Inteligencia Artificial

Grupo de investigación: Models and Applications of Distributed Systems

Email: juan.jose.sanchez.penas@udc.es

Doctor por la Universidade da Coruña con la tesis From software architecture to formal verification of a distributed system 2006. Dirigida por Dr/a. Víctor M. Gulías, Dr/a. Thomas Arts.