Saila: Hizkuntza eta Sistema Informatikoak

Zentroa: Informatika Fakultatea

Campusa: Gipuzkoa

Ezagutza arloa: Ingeniaritza eta Arkitektura

Eremua: Lengoaia eta Sistema Informatikoak

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

E-maila: javier.alvez@ehu.eus

Doctor/a por la Universidad del País Vasco - Euskal Herriko Unibertsitatea con la tesis A transformational approach to constructive negation in constraint normal logic programming 2008. Tesiaren zuzendaria Dr/a. Paqui Lucio.