Department: Lenguajes y Sistemas Informáticos

Centre: Facultad de Informática

Campus: Gipuzkoa

Field of knowledge: Ingenieria y Arquitectura

Area: Computer Languages and Systems

Research group: LoRea (Logic and Reasoning) - GIU 21/044

Email: javier.alvez@ehu.eus

Doctor by the Universidad del País Vasco - Euskal Herriko Unibertsitatea with the thesis A transformational approach to constructive negation in constraint normal logic programming 2008. Supervised by Dr. Paqui Lucio.