Juan José
Sánchez Penas
Profesor Asociado
Departamento: Ciencias da Computación e Tecnoloxías da Información
Centro: Facultade de Informática
Área: Ciencia da Computación e Intelixencia Artificial
Grupo de investigación: Models and Applications of Distributed Systems
Correo el.: juan.jose.sanchez.penas@udc.es
Doutor pola Universidade da Coruña coa tese From software architecture to formal verification of a distributed system 2006. Dirixida por Dr/a. Víctor M. Gulías, Dr/a. Thomas Arts.