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 2020-2021)                                                                                                             

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

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

             Donwload Dafny

• Computational Logic, Semantics and Pragmatics / Lógica, Semántica y Pragmática Computacional

              Erasmus Mundus Master in Language and Communication Technologies (LCT) / Máster Universitario Erasmus Mundus en Tecnologías del Lenguaje y la Comunicación (LCT)

              Máster Universitario en Análisis y Procesamiento del Lenguaje/Hizkuntzaren Azterketa eta Prozesamendua

• Programming Methodology  / Metodología de la Programación

              Grado en Ingeniería Informática (Obligatoria de 1er 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