Paqui Lucio (photo)  Dpto de Lenguajes y Sistemas Informáticos / Department of Computer Languages and Systems Universidad del País Vasco (UPV-EHU) / University of the Basque Country (UPV-EHU)   Paseo Manuel de Lardizabal, 1, 20018-Donostia, Gipuzkoa,   SPAIN Email:  paqui.lucioehu.es Phone: (+34) 943 015049 Fax: (+34) 943 015590

  Teaching / Docencia       (Curso 2021-2022)                                                                                                             

• Formal Methods of Software Development / Métodos Formales de Desarrollo de Software 

             Grado en Ingeniería Informática (Optativa de 4º curso)

• Automated Reasoning

              Erasmus Mundus Master in Language and Communication Technologies (LCT)

• Razonamiento Automático

              Grado en Inteligencia Artificial (Obligatoria de 2º curso)

  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