Departamento: Lenguajes y Sistemas Informáticos

Centro: Facultad de Informática

Campus: Gipuzkoa

Campo de conocimiento: Ingenieria y Arquitectura

Área: Lenguajes y Sistemas Informáticos

Grupo de investigación: LoRea (Logic and Reasoning) - GIU 21/044

Email: 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. Dirigida por Dr/a. Paqui Lucio.