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:

• Logic for Computer Science
• Specification, Transformation  and Verification of Programs
• Declarative Programming Languages
• Equality Constraint Solving
• Graph Transformation
• Automated Reasoning
• Temporal Logic

Teaching                                                                                                                     

• Razonamiento Automático /Automated Reasoning (in English) (Slides-March-2013, Exercises-March-2013)
• Formal Methods of Software Development / Métodos Formales de Desarrollo de Software (en construcción)
• Metodología de la Programación  / Programming Methodology (in Spanish)
• Programación Funcional / Functional Programming  (in Spanish)