Saila: Hizkuntza eta Sistema Informatikoak

Ikastegia: Informatika Fakultatea

Campusa: Gipuzkoa

Ezagutza arloa: Ingeniaritza eta Arkitektura

Eremua: Lengoaia eta Sistema Informatikoak

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. Tesiaren zuzendaria Dr/a. Ricardo Peña Marí.