JOSE
GAINTZARAIN IBARMIA
IRAKASLE TITULARRA
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.