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.lucioehu.es Phone: (+34) 943 015049 Fax: (+34) 943 015590

      Software

   Publications

   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

   Docencia / Teaching                                                                                                                     

• Metodología de la Programación  / Programming Methodology (in Spanish)
• Programación Funcional / Functional Programming  (in Spanish)
• Razonamiento Automático /Automated Reasoning (in English) (Slides-March-2013, Exercises-March-2013)