Departamento: Lenguajes y Sistemas Informáticos

Centro: Facultad de Informática

Campus: Gipuzkoa

Campo de conocimiento: Ingenieria y Arquitectura

Área: Lenguajes y Sistemas Informáticos

Doctor/a por la Universidad del País Vasco - Euskal Herriko Unibertsitatea con la tesis Técnicas formales para el desarrollo jerárquico de sistemas concurrentes 1993. Dirigida por Dr/a. Ricardo Peña Marí.