Department: Lenguajes y Sistemas Informáticos

Centre: Escuela de Ingeniería de Bilbao

Campus: Bizkaia

Field of knowledge: Ingenieria y Arquitectura

Area: Computer Languages and Systems

Research group: LoRea (Logic and Reasoning) - GIU 21/044

Email: jose.gaintzarain@ehu.eus

Doctor by the Universidad del País Vasco - Euskal Herriko Unibertsitatea with the thesis Invariant-free deduction systems for temporal logic 2012. Supervised by Dr. Paqui Lucio.