Department: Enxeñaría telemática

Centre: *Escola De Enxeñaría De Telecomunicación

Research center: ATLANTTIC

Campus: Vigo

Area: Telematics Engineering

Research group: ET2 Grupo de Servicios para la Sociedad de la Información

Email: agil@det.uvigo.es

Doctor by the Universidade de Vigo with the thesis Diseño y verificación de sistemas distribuidos mediante la aplicación combinada de métodos formales 2000. Supervised by Dr. José Juan Pazos Arias.