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

	Paqui Lucio (photo)
	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

  Teaching                                                                                                                     

• Formal Methods of Software Development / Métodos Formales de Desarrollo de Software  (Grado en Ingeniería Informática)
• Automated Reasoning  / Razonamiento Automático (Máster en Ingeniería Informática)

  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
• Formal Methods in Software Engineering

  Publications

   Software