Saila: Hizkuntza eta Sistema Informatikoak

Ikastegia: Bilboko Ingeniaritza Eskola

Campusa: Bizkaia

Ezagutza arloa: Ingeniaritza eta Arkitektura

Eremua: Lengoaia eta Sistema Informatikoak

Ikerketa taldea: LoRea (Logic and Reasoning) - GIU 21/044

E-maila: 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. Tesiaren zuzendaria Dr/a. Paqui Lucio.