JOSE
GAINTZARAIN IBARMIA
PROFESORADO TITULAR DE UNIVERSIDAD
Département: Lenguajes y Sistemas Informáticos
Centre: Escuela de Ingeniería de Bilbao
Campus: Bizkaia
Domaine de connaissance: Ingenieria y Arquitectura
Domaine: Lenguajes y Sistemas Informáticos
Groupe de recherche: LoRea (Logic and Reasoning) - GIU 21/044
Email: jose.gaintzarain@ehu.eus
Docteur/e à l Universidad del País Vasco - Euskal Herriko Unibertsitatea avec la thèse Invariant-free deduction systems for temporal logic 2012. Dirigée par Dr/a. Paqui Lucio.