JOSE
GAINTZARAIN IBARMIA
PROFESORADO TITULAR DE UNIVERSIDAD
Departamento: Lenguajes y Sistemas Informáticos
Centro: Escuela de Ingeniería de Bilbao
Campus: Bizkaia
Campo de conocimiento: Ingenieria y Arquitectura
Área: Lenguajes y Sistemas Informáticos
Grupo de investigación: LoRea (Logic and Reasoning) - GIU 21/044
Email: jose.gaintzarain@ehu.eus
Doctor/a por la Universidad del País Vasco - Euskal Herriko Unibertsitatea con la tesis Invariant-free deduction systems for temporal logic 2012. Dirigida por Dr/a. Paqui Lucio.