Department of Computer Languages and Systems   Computer Science Faculty   University of the Basque Country

	Paqui Lucio
	Dpto de Lenguajes y Sistemas Informáticos  Facultad de Informática  UPV-EHU Paseo Manuel de Lardizabal, 1,  20080-Donostia, Gipuzkoa, SPAIN Email:  paqui.lucio at ehu.es Phone: (+34) 943 015049 Fax: (+34) 943 015590

    Docencia / Teaching                                                                                   Horario de tutorías                                  

• Metodología de la Programación  / Programming Methodology
• Teoría de la Computación / Computation Theory
• Programación Funcional / Functional Programming
• Implementación de Lenguajes No Imperativos / Implementing Non-Imperative Languages
• Razonamiento Automático /Automated Reasoning
• Lógicas de Agentes

     Research

              My main areas of interest are:

• Logical Systems (Classical, Three-valued, Intuitionistic, Temporal, Modal, etc) and their Application to Computer Science
• Specification, Transformation  and Verification of Programs
• Functional and (Constraint) Logic Programming
• Equality Constraint Solving
• Graph Transformation
• Automated Reasoning

    Publications (1997-2009)

     Conference Committees

   BCN Prototype: An implementation of Constructive Negation

  CS Prototype: An equality constraint solver