JOSE
GAINTZARAIN IBARMIA
PROFESORADO TITULAR DE UNIVERSIDAD
Fachbereich: Lenguajes y Sistemas Informáticos
Zentrum: Escuela de Ingeniería de Bilbao
Campus: Bizkaia
Wissensbereich: Ingenieria y Arquitectura
Bereich: Computersprachen und Computersysteme
Forschungsgruppe: LoRea (Logic and Reasoning) - GIU 21/044
Email: jose.gaintzarain@ehu.eus
Doktor von der Universidad del País Vasco - Euskal Herriko Unibertsitatea mit der Dissertation Invariant-free deduction systems for temporal logic 2012. unter der Leitung von Dr. Paqui Lucio.